mediawiki-skins-MinervaNeue/includes/menu
Piotr Miazga 4efd72a879 Hygiene: Remove OPTIONS_ and OPTION_ prefixes from SKinOptions
Additionally, renamed couple options for better readability.

Bug: T221012
Change-Id: Ia347a60d469fba8f35afa7c70aa806a46271dccd
2019-08-01 10:34:03 -07:00
..
Entries [dev] split AuthMenuEntry 2019-07-23 18:07:00 -06:00
Main [UI] [AMC] add recent changes to the AMC menu 2019-07-30 11:27:34 -06:00
PageActions Hygiene: Remove OPTIONS_ and OPTION_ prefixes from SKinOptions 2019-08-01 10:34:03 -07:00
User Refresh the user, bell and search icon 2019-07-25 16:35:01 +00:00
Definitions.php [UI] [AMC] add recent changes to the AMC menu 2019-07-30 11:27:34 -06:00
Group.php [dev] split AuthMenuEntry 2019-07-23 18:07:00 -06:00