Translations:Manual:Profiling/14/en

Starting with MediaWiki 1.29, you can also use $tideways, which additionally supports PHP 7.