Translations:Manual:Profiling/16/en

Installing the $tideways Debian/Ubuntu package also just includes the PHP extension.