Merge "Allow skins/extensions to define custom OOUI themes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 15 Jul 2019 20:21:01 +0000 (20:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 15 Jul 2019 20:21:01 +0000 (20:21 +0000)
commite55888be363ad07d5817bd383b8078064ef0d36f
tree45f488ccc3e49a6092721d0bc44dd64673c83794
parent18b9a042dd2cd5245fca0475f7bf853d91558850
parent77f4bab8b749ed43438cc77dd6b2330ef0f99b8a
Merge "Allow skins/extensions to define custom OOUI themes"
includes/resourceloader/ResourceLoaderImage.php