Handle the default value of $wgExternalDiffEngine without warning

The default value (false) was not handled by the recent depreciation warnings
in 037f056, and was triggering the last warning. This removes this warning.

Change-Id: If7fe92d874eb10525a72f6d3a97f00117c79acc1
This commit is contained in:
Seb35 2016-07-09 10:07:49 +02:00
parent 293c4381a0
commit ff397feea8

View file

@ -894,7 +894,7 @@ class DifferenceEngine extends ContextSource {
} elseif ( $wgExternalDiffEngine == 'wikidiff2' ) {
// Same as above, but with no deprecation warnings
$wgExternalDiffEngine = false;
} elseif ( !is_string( $wgExternalDiffEngine ) ) {
} elseif ( !is_string( $wgExternalDiffEngine ) && $wgExternalDiffEngine !== false ) {
// And prevent people from shooting themselves in the foot...
wfWarn( '$wgExternalDiffEngine is set to a non-string value, forcing it to false' );
$wgExternalDiffEngine = false;