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