dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove unused and undocumented $wgUseMasterForMaintenance
[lhc/web/wiklou.git]
/
maintenance
/
update.php
diff --git
a/maintenance/update.php
b/maintenance/update.php
index
43b10c8
..
0103189
100755
(executable)
--- a/
maintenance/update.php
+++ b/
maintenance/update.php
@@
-25,7
+25,6
@@
* @ingroup Maintenance
*/
* @ingroup Maintenance
*/
-$wgUseMasterForMaintenance = true;
require_once __DIR__ . '/Maintenance.php';
/**
require_once __DIR__ . '/Maintenance.php';
/**
@@
-83,6
+82,13
@@
class UpdateMediaWiki extends Maintenance {
"ABORTING (see https://bugs.php.net/bug.php?id=45996).\n",
true );
}
"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() {
}
function execute() {