wikimedia/mediawiki-skins-MinervaNeue
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/MinervaNeue synced 2024-11-17 03:08:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-MinervaNeue/includes/Menu/Main
History
James D. Forrester 592e1151b7 Use User->isRegistered(), not deprecated isLoggedIn() 
Bug: T270450
Change-Id: I60f714f42848898cf27aa83da92ac1c691fe5ead
2020-12-17 19:09:15 -08:00
..
AdvancedMainMenuBuilder.php
BuilderUtil.php
DefaultMainMenuBuilder.php Use User->isRegistered(), not deprecated isLoggedIn() 2020-12-17 19:09:15 -08:00
IMainMenuBuilder.php
MainMenuDirector.php