jenkins-bot 93ca7f2eee Merge "Move hamburger icon generation into Director"		2019-06-26 19:13:55 +00:00
..
Main	Merge "Move hamburger icon generation into Director"	2019-06-26 19:13:55 +00:00
PageActions	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00
AuthMenuEntry.php	menu: Add system generated logoutToken on logout action in Minerva	2019-06-11 12:54:37 +01:00
Definitions.php	Merge "Introduce new SingleMenuEntry"	2019-06-14 14:18:51 +00:00
Group.php	Add method for getting menu entry by name	2019-06-06 13:04:29 -04:00
IMenuEntry.php	Provide IMenuEntry interface	2019-05-14 13:12:37 +02:00
LanguageSelectorEntry.php	Extract LanguageSwitcher to separate class	2019-06-20 17:18:20 +02:00
MenuEntry.php	Add method for getting menu entry by name	2019-06-06 13:04:29 -04:00
SingleMenuEntry.php	Introduce new SingleMenuEntry	2019-06-13 21:39:37 +02:00