jdlrobson a3179d8fff Use user sandbox icon from OOUI ... It's called 'markup'. Since this icon only ever shows to logged in users there are no caching implications. Bug: T244444 Change-Id: I75f5365ccb5a41f1c0628532e81b5ec63804a2a8		2020-02-07 03:39:08 +00:00
..
AdvancedUserMenuBuilder.php	Use user sandbox icon from OOUI	2020-02-07 03:39:08 +00:00
DefaultUserMenuBuilder.php	Menu groups have identifiers	2019-10-25 19:00:54 +00:00
IUserMenuBuilder.php	Follow-up: User menu improvements	2019-07-25 08:41:22 -06:00
UserMenuDirector.php	build: Updating mediawiki/mediawiki-codesniffer to 29.0.0	2020-01-26 20:26:31 +01:00