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
..
DefaultOverflowBuilder.php	Use wikimedia.ui from core directly	2019-07-16 22:20:25 +00:00
EmptyOverflowBuilder.php	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00
IOverflowBuilder.php	Hygiene: Add return types for known services	2019-06-21 19:06:04 +02:00
PageActionMenuEntry.php	Hygiene: move menu entries to subdirectory	2019-07-05 21:32:44 +00:00
PageActionsDirector.php	Extract language/variants check to a service	2019-07-16 19:53:57 +00:00
ToolbarBuilder.php	Hygiene: Remove OPTIONS_ and OPTION_ prefixes from SKinOptions	2019-08-01 10:34:03 -07:00
UserNamespaceOverflowBuilder.php	[UI] [new] add user menu	2019-07-24 18:24:07 +00:00