wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-09-23 18:30:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use ExtensionRegistry rather than class_exists

Browse source 
Change-Id: I99d0207aaf193ab2aa4e27c7f12a5cefc2dc4da9
This commit is contained in:
Umherirrender 2019-03-03 02:05:12 +01:00
parent cee3fa6899
commit 0312e465ed
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/MultimediaViewerHooks.php
View file

@ -53,7 +53,7 @@ class MultimediaViewerHooks {
global $wgMediaViewerIsInBeta, $wgMediaViewerEnableByDefaultForAnonymous,
$wgMediaViewerEnableByDefault;
if ( $wgMediaViewerIsInBeta && class_exists( 'BetaFeatures' ) ) {
if ( $wgMediaViewerIsInBeta && ExtensionRegistry::getInstance()->isLoaded( 'BetaFeatures' ) ) {
return BetaFeatures::isFeatureEnabled( $user, 'multimedia-viewer' );
}