jenkins-bot 628e7a703a Merge "Hygiene: remove deprecated calls from Menu system"		2019-08-02 18:51:42 +00:00
..
Entries	[dev] split AuthMenuEntry	2019-07-23 18:07:00 -06:00
Main	Hygiene: Rename MainMenu related classes	2019-08-02 14:20:00 +00:00
PageActions	Hygiene: Remove OPTIONS_ and OPTION_ prefixes from SKinOptions	2019-08-01 10:34:03 -07:00
User	Hygiene: remove deprecated calls from Menu system	2019-08-02 16:49:11 +02:00
Definitions.php	Hygiene: remove deprecated calls from Menu system	2019-08-02 16:49:11 +02:00
Group.php	[dev] split AuthMenuEntry	2019-07-23 18:07:00 -06:00