Merge "Move up devunt's name to Developers"

[lhc/web/wiklou.git] / maintenance / update.php

diff --git a/maintenance/update.php b/maintenance/update.php
index 775fa7b..b96e7eb 100755 (executable)
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -25,7 +25,6 @@
  * @ingroup Maintenance
  */
 
-$wgUseMasterForMaintenance = true;
 require_once __DIR__ . '/Maintenance.php';
 
 /**
@@ -83,13 +82,6 @@ class UpdateMediaWiki extends Maintenance {
                                "ABORTING (see https://bugs.php.net/bug.php?id=45996).\n",
                                true );
                }
-
-               if ( !function_exists( 'mb_strlen' ) ) {
-                       $this->error(
-                               "MediaWiki now requires the mbstring PHP extension, your system doesn't have it.\n"
-                               . "ABORTING.\n",
-                               true );
-               }
        }
 
        function execute() {