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

Use User->isRegistered(), not deprecated isLoggedIn()

Browse source 
Bug: T270450
Change-Id: Ie10652c4d9831f5582a027c7dc9cf1b1ddfc481b
This commit is contained in:
James D. Forrester 2020-12-17 18:26:35 -08:00
parent 0362c363c1
commit 98797b5a03
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

@ -62,7 +62,7 @@ class MultimediaViewerHooks {
$enableByDefaultForAnons = $wgMediaViewerEnableByDefaultForAnonymous;
}
if ( !$user->isLoggedIn() ) {
if ( !$user->isRegistered() ) {
return (bool)$enableByDefaultForAnons;
} else {
return (bool)$user->getOption( 'multimediaviewer-enable' );