From 086ae52d12011746a75f5588e877347bc0457352 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 21 Mar 2008 11:49:34 +0100
Subject: Update auf MediaWiki 1.12.0

---
 maintenance/deleteDefaultMessages.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'maintenance/deleteDefaultMessages.php')

diff --git a/maintenance/deleteDefaultMessages.php b/maintenance/deleteDefaultMessages.php
index 32e03494..9a7f5c6a 100644
--- a/maintenance/deleteDefaultMessages.php
+++ b/maintenance/deleteDefaultMessages.php
@@ -1,7 +1,7 @@
 <?php
 
 /**
- * Deletes all pages in the MediaWiki namespace which were last edited by
+ * Deletes all pages in the MediaWiki namespace which were last edited by 
  * "MediaWiki default".
  */
 
@@ -17,7 +17,7 @@ function deleteDefaultMessages() {
 	global $wgUser;
 	$wgUser = User::newFromName( $user );
 	$wgUser->addGroup( 'bot' );
-
+	
 	$dbr = wfGetDB( DB_SLAVE );
 	$res = $dbr->select( array( 'page', 'revision' ),
 		array( 'page_namespace', 'page_title' ),
-- 
cgit v1.2.2