Stephen Niedzielski ff57ba7cd9 [dev] make interface for overriding menu profile URL ... Make an interface for changing the URL of the menu profile item. This functionality is needed by Growth and a subsequent patch will provide a second profile implementation that should implement this interface. Bug: T214540 Change-Id: Ie3647ac52a83b4cc34f3582a41c5d5524343965c		2019-07-23 12:23:45 -06:00
..
Entries	[dev] make interface for overriding menu profile URL	2019-07-23 12:23:45 -06:00
Main	…
PageActions	Merge "Use wikimedia.ui from core directly"	2019-07-17 15:15:12 +00:00
Definitions.php	Hygiene: Do not insert Random menu entry if message do not exists	2019-07-09 13:05:00 +02:00
Group.php	…