diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /StartProfiler.sample | |
parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) |
Update to MediaWiki 1.24.1
Diffstat (limited to 'StartProfiler.sample')
-rw-r--r-- | StartProfiler.sample | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/StartProfiler.sample b/StartProfiler.sample index db5e0ff9..d9b52884 100644 --- a/StartProfiler.sample +++ b/StartProfiler.sample @@ -2,13 +2,22 @@ /** * To use a profiler, copy this file to StartProfiler.php, - * and add something like this: + * and add either: * - * $wgProfiler['class'] = 'Profiler'; + * // Does not support the debugging toolbar + * // Stores profiling information in the database + * // Requires running maintenance/archives/patch-profiling.sql + * $wgProfiler['class'] = 'ProfilerSimpleDB' + * + * or: + * + * // Supports the debugging toolbar + * // Does not store profiling information in the database + * $wgProfiler['class'] = 'ProfilerStandard'; * * Or for a sampling profiler: * if ( !mt_rand( 0, 100 ) ) { - * $wgProfiler['class'] = 'Profiler'; + * $wgProfiler['class'] = 'ProfilerSimpleDB'; * } else { * $wgProfiler['class'] = 'ProfilerStub'; * } |