From 02500a411c1f587573dfbe2bda7eacee81b87932 Mon Sep 17 00:00:00 2001
From: Rob Church <robchurch@users.mediawiki.org>
Date: Sat, 7 Jul 2007 05:00:24 +0000
Subject: [PATCH] Alter wording

---
 RELEASE-NOTES     |  4 ++--
 StartProfiler.php | 22 ++--------------------
 2 files changed, 4 insertions(+), 22 deletions(-)

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index bd284525ea..5e1139e252 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -125,8 +125,8 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN
 * Show "undo" links in page histories
 * Option to jump to specified time period in user contributions
 * Improved feedback on "rollback success" page
-* New message, namespaceprotectedtext, shown to users unable to edit a page
-  because its namespace is protected.
+* Show distinct 'namespaceprotected' message to users when namespace protection
+  prevents page editing
 
 == Bugfixes since 1.10 ==
 
diff --git a/StartProfiler.php b/StartProfiler.php
index 3fcf69e6e5..1ffc54afde 100644
--- a/StartProfiler.php
+++ b/StartProfiler.php
@@ -1,22 +1,4 @@
 <?php
 
-require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
-
-/**
- * To use a profiler, delete the line above and add something like this:
- *
- *   require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *   $wgProfiler = new Profiler;
- *
- * Or for a sampling profiler:
- *   if ( !mt_rand( 0, 100 ) ) {
- *       require_once(  dirname(__FILE__).'/includes/Profiler.php' );
- *       $wgProfiler = new Profiler;
- *   } else {
- *       require_once(  dirname(__FILE__).'/includes/ProfilerStub.php' );
- *   }
- * 
- * Configuration of the profiler output can be done in LocalSettings.php
- */
-
-
+require_once( dirname(__FILE__).'/includes/Profiler.php' );
+$wgProfiler = new Profiler();
\ No newline at end of file
-- 
2.20.1