gerritbot fd2fe83a0c Replace some moved Title class uses, now MediaWiki\Title\Title ... Bug: T321681 Change-Id: I236a14b07bd78141f82e86d7ea872d24b6cd88eb		2023-08-19 19:36:46 +02:00
..
AdvancedMainMenuBuilder.php	Replace deprecated MWException	2023-06-08 17:16:36 +02:00
BuilderUtil.php	Replace some moved Title class uses, now MediaWiki\Title\Title	2023-08-19 19:36:46 +02:00
DefaultMainMenuBuilder.php	DefaultMainMenuBuilder: Use UserIdentityUtils for temporary user check	2023-07-27 18:02:36 +00:00
IMainMenuBuilder.php	Add settings menu item for anon users	2022-05-23 22:36:36 +00:00
MainMenuDirector.php	Remove unused constructor params of MainMenuDirector	2023-02-26 20:30:07 +08:00