Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

1 files changed, 4 insertions, 8 deletions

diff --git a/StartProfiler.sample b/StartProfiler.sample
index f91aeb92..6bce634d 100644
--- a/StartProfiler.sample
+++ b/StartProfiler.sample
@@ -1,20 +1,16 @@
 <?php
 
-require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
-
 /**
  * To use a profiler, copy this file to StartProfiler.php,
- * delete the PHP line above, and add something like this:
+ * and add something like this:
  *
- *   require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *   $wgProfiler = new Profiler;
+ *   $wgProfiler['class'] = 'Profiler';
  *
  * Or for a sampling profiler:
  *   if ( !mt_rand( 0, 100 ) ) {
- *       require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *       $wgProfiler = new Profiler;
+ *       $wgProfiler['class'] = 'Profiler';
  *   } else {
- *       require_once(  dirname(__FILE__).'/includes/ProfilerStub.php' );
+ *       $wgProfiler['class'] = 'ProfilerStub';
  *   }
  * 
  * Configuration of the profiler output can be done in LocalSettings.php