| Index: trunk/phase3/StartProfiler.php |
| — | — | @@ -1,22 +1,4 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | | -require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); |
| 5 | | - |
| 6 | | -/** |
| 7 | | - * To use a profiler, delete the line above and add something like this: |
| 8 | | - * |
| 9 | | - * require_once( dirname(__FILE__).'/includes/Profiler.php' ); |
| 10 | | - * $wgProfiler = new Profiler; |
| 11 | | - * |
| 12 | | - * Or for a sampling profiler: |
| 13 | | - * if ( !mt_rand( 0, 100 ) ) { |
| 14 | | - * require_once( dirname(__FILE__).'/includes/Profiler.php' ); |
| 15 | | - * $wgProfiler = new Profiler; |
| 16 | | - * } else { |
| 17 | | - * require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); |
| 18 | | - * } |
| 19 | | - * |
| 20 | | - * Configuration of the profiler output can be done in LocalSettings.php |
| 21 | | - */ |
| 22 | | - |
| 23 | | - |
| | 4 | +require_once( dirname(__FILE__).'/includes/Profiler.php' ); |
| | 5 | +$wgProfiler = new Profiler(); |
| \ No newline at end of file |
| Index: trunk/phase3/RELEASE-NOTES |
| — | — | @@ -125,8 +125,8 @@ |
| 126 | 126 | * Show "undo" links in page histories |
| 127 | 127 | * Option to jump to specified time period in user contributions |
| 128 | 128 | * Improved feedback on "rollback success" page |
| 129 | | -* New message, namespaceprotectedtext, shown to users unable to edit a page |
| 130 | | - because its namespace is protected. |
| | 129 | +* Show distinct 'namespaceprotected' message to users when namespace protection |
| | 130 | + prevents page editing |
| 131 | 131 | |
| 132 | 132 | == Bugfixes since 1.10 == |
| 133 | 133 | |