Update auf 1.13.0

1 files changed, 12 insertions, 3 deletions

diff --git a/maintenance/ourusers.php b/maintenance/ourusers.php
index 8f1e7c06..620393fb 100644
--- a/maintenance/ourusers.php
+++ b/maintenance/ourusers.php
@@ -1,7 +1,14 @@
 <?php
 /**
+ * Wikimedia specific
+ *
+ * This script generates SQL used to update MySQL users on a hardcoded
+ * list of hosts. It takes care of setting the wikiuser for every
+ * database as well as setting up wikiadmin.
+ *
  * @todo document
- * @addtogroup Maintenance
+ * @file
+ * @ingroup Maintenance
  */
 
 /** */
@@ -40,15 +47,17 @@ if ( @$argv[1] == 'yaseo' ) {
 		'localhost',
 		'10.0.%',
 		'66.230.200.%',
+		'208.80.152.%',
 	);
 }
 
 $databases = array(
 	'%wik%',
+	'centralauth',
 );
 
-print "/*!40100 set old_passwords=1 */;";
-print "/*!40100 set global old_passwords=1 */;";
+print "/*!40100 set old_passwords=1 */;\n";
+print "/*!40100 set global old_passwords=1 */;\n";
 
 foreach( $hosts as $host ) {
 	print "--\n-- $host\n--\n\n-- wikiuser\n\n";