jenkins-bot 7daf7ebb12 Merge "Rename UserRights to UserGroups"		2019-09-12 19:37:55 +00:00
..
Entries	Use avatarIcon instead of profile	2019-09-05 20:58:06 +00:00
Main	Track all menu interactions	2019-08-26 11:43:16 -07:00
PageActions	Merge "Rename UserRights to UserGroups"	2019-09-12 19:37:55 +00:00
User	Remove the mw-ui-icon hacks and overrides	2019-09-10 10:53:20 -07:00
Definitions.php	Track all menu interactions	2019-08-26 11:43:16 -07:00
Group.php	[dev] split AuthMenuEntry	2019-07-23 18:07:00 -06:00