wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix web installer/updater for Echo

Browse source 
Loosen check for $wgEchoCluster, because when this hook fires $wgEchoCluster is
set to null (even though extension.json sets it to false as the default).

Bug: T165317
Change-Id: If7f2677a20407612de17a38ac2c6da444377d7b4
This commit is contained in:
Kosta Harlan 2020-02-11 12:29:27 +01:00
parent d4fa2ad52f
commit 9fd66198ee
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/EchoHooks.php
View file

@ -171,7 +171,7 @@ class EchoHooks {
*/
public static function onLoadExtensionSchemaUpdates( DatabaseUpdater $updater ) {
global $wgEchoCluster;
if ( $wgEchoCluster !== false ) {
if ( $wgEchoCluster ) {
// DatabaseUpdater does not support other databases, so skip
return;
}