jenkins-bot 5fe684bc77 Merge "mediawiki.ui: Add standard @color-placeholder var & deprecate @colorPlaceholder"		2020-06-25 22:20:47 +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.39.2	2020-06-24 15:22:57 +01:00
src	Merge "mediawiki.ui: Add standard @color-placeholder var & deprecate @colorPlaceholder"	2020-06-25 22:20:47 +00:00
Resources.php	Merge "preferences: Signature validation (lint errors, user links, nested subst)"	2020-06-24 22:14:57 +00:00