jenkins-bot 7ebd1ddc92 Merge "Remove duplicate login button from user links user menu."		2021-07-28 22:02:06 +00:00
..
FeatureManagement	build: Updating dependencies	2021-07-24 01:35:45 +00:00
HTMLForm/Fields	build: Updating mediawiki/mediawiki-codesniffer to 33.0.0	2020-11-17 23:33:50 +01:00
Services	search: Disable query highlight for some languages	2021-06-30 16:47:46 +01:00
templates	User menu design tweaks	2021-07-27 14:25:32 -06:00
Constants.php	Add querystring parameter override for user links, language in header.	2021-07-15 16:51:48 +00:00
Hooks.php	Remove duplicate login button from user links user menu.	2021-07-28 15:32:25 -06:00
ServiceWiring.php	Add statsd counter for languages A/B test	2021-07-28 13:26:45 -06:00
SkinVector.php	Merge "Copy interwiki links into sidebar"	2021-07-27 21:21:20 +00:00
SkinVersionLookup.php	Use User->isRegistered(), not deprecated isLoggedIn()	2020-12-19 16:44:06 +00:00
VectorServices.php	search: Disable query highlight for some languages	2021-06-30 16:47:46 +01:00