diff options
| author | Chad Horohoe <chadh@wikimedia.org> | 2014-11-04 09:40:40 -0800 |
|---|---|---|
| committer | BryanDavis <bdavis@wikimedia.org> | 2014-11-04 21:14:51 +0000 |
| commit | 4e61f1bb8b4a43d3cc746084b5ed665fedcd7be0 (patch) | |
| tree | 7c43b97fca1064233c01b431baf4562dfc753ac7 /includes/WebStart.php | |
| parent | 6c7bb3a57cb8488549788c208d812718166806ea (diff) | |
| download | mediawikicore-4e61f1bb8b4a43d3cc746084b5ed665fedcd7be0.tar.gz mediawikicore-4e61f1bb8b4a43d3cc746084b5ed665fedcd7be0.zip | |
Profiler code cleanup
- Put Profiler, ProfileSection and TransactionProfiler in their own
files and rely on Autoloader to use them (maintenance has been
using the autoloader here for some time--we don't profile the
autoloader manually)
- This reduces overhead in WebStart/doMaintenance by only loading
three functions at profiler initialization and defers until the
first profiling call happens
- Inline callback functions in ProfilerSimpleText rather than having
public static functions.
- Small comment and code formatting changes in various touched files.
Change-Id: Idf27677c068c50b847152c523a33e7f0c33fdeeb
Diffstat (limited to 'includes/WebStart.php')
| -rw-r--r-- | includes/WebStart.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/WebStart.php b/includes/WebStart.php index cb35ee56fd66..dd27f3d602c2 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -58,8 +58,8 @@ if ( $IP === false ) { $IP = realpath( '.' ) ?: dirname( __DIR__ ); } -# Load the profiler -require_once "$IP/includes/profiler/Profiler.php"; +# Grab profiling functions +require_once "$IP/includes/profiler/ProfilerFunctions.php"; $wgRUstart = wfGetRusage() ?: array(); # Start the autoloader, so that extensions can derive classes from core files |