jenkins-bot 1d209aa7f5 Merge "RCFilters: Temporarily fix TagItemWidget remove button size"		2020-12-09 23:29:45 +00:00
..
assets	Update you-should-set-a-logo reminder to point to $wgLogos, not $wgLogo	2020-02-24 18:52:07 +00:00
lib	Update OOUI to v0.41.0	2020-12-03 21:55:21 +00:00
src	Merge "RCFilters: Temporarily fix TagItemWidget remove button size"	2020-12-09 23:29:45 +00:00
Resources.php	Deprecate mediawiki.toc.styles	2020-12-09 16:42:26 +00:00