From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 27 Dec 2014 15:41:37 +0100 Subject: Update to MediaWiki 1.24.1 --- maintenance/getSlaveServer.php | 1 + 1 file changed, 1 insertion(+) (limited to 'maintenance/getSlaveServer.php') diff --git a/maintenance/getSlaveServer.php b/maintenance/getSlaveServer.php index d618825f..68c19439 100644 --- a/maintenance/getSlaveServer.php +++ b/maintenance/getSlaveServer.php @@ -34,6 +34,7 @@ class GetSlaveServer extends Maintenance { $this->addOption( "group", "Query group to check specifically" ); $this->mDescription = "Report the hostname of a slave server"; } + public function execute() { global $wgAllDBsAreLocalhost; if ( $wgAllDBsAreLocalhost ) { -- cgit v1.2.3-54-g00ecf