wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-11-24 08:13:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Multim.../includes
History
James D. Forrester 98797b5a03 Use User->isRegistered(), not deprecated isLoggedIn() 
Bug: T270450
Change-Id: Ie10652c4d9831f5582a027c7dc9cf1b1ddfc481b
2020-12-17 18:26:35 -08:00
..
MultimediaViewerHooks.php Use User->isRegistered(), not deprecated isLoggedIn() 2020-12-17 18:26:35 -08:00