jenkins-bot a7abe4d201 Merge "Fix Vector 22 missing user menu on private wikis"		2022-10-21 17:54:56 +00:00
..
FeatureManagement	Update name of body class to avoid confusion	2022-09-28 12:26:38 -07:00
ResourceLoader	Use new ResourceLoader namespace	2022-05-25 10:36:40 +00:00
Services	Normalise PHP namespaces used in Vector	2022-05-23 09:32:40 +02:00
templates	Fix Vector 22 missing user menu on private wikis	2022-10-20 17:12:10 -06:00
Constants.php	Follow-up 76d1135: Use better practice in the code	2022-10-18 03:26:30 +00:00
Hooks.php	Merge "Add vector-tab-noicon class to tabbed menus when menu items are added by gadgets"	2022-10-21 16:04:13 +00:00
ServiceWiring.php	Merge "Update name of body class to avoid confusion"	2022-09-29 14:58:38 +00:00
SkinVector.php	Merge "Fix Vector 22 missing user menu on private wikis"	2022-10-21 17:54:56 +00:00
SkinVector22.php	Create user preference to turn fixed width on and off	2022-10-17 20:02:39 +00:00
SkinVectorLegacy.php	Normalise PHP namespaces used in Vector	2022-05-23 09:32:40 +02:00
VectorServices.php	Normalise PHP namespaces used in Vector	2022-05-23 09:32:40 +02:00