Piotr Miazga e117ee433a Follow-up: clean up old Advanced Menu builder and add hook support ... Old MainMenuAdvancedBulder doesn't require the personal section any more as that section is handled by new UserMenu. Additionally we should add hook support in the new UserMenu so different extensions can add their own menu entries. Bug: T214540 Change-Id: Ibbfbee9d13d58c92d90a22d2b6dcf124b1313c23		2019-07-25 13:50:01 +02:00
..
AdvancedUserMenuBuilder.php	Follow-up: clean up old Advanced Menu builder and add hook support	2019-07-25 13:50:01 +02:00
DefaultUserMenuBuilder.php	[UI] [new] add user menu	2019-07-24 18:24:07 +00:00
IUserMenuBuilder.php	[UI] [new] add user menu	2019-07-24 18:24:07 +00:00
UserMenuDirector.php	[UI] [new] add user menu	2019-07-24 18:24:07 +00:00