Merge "ResourcesOOUI: Convert theme names to lowercase"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Jul 2015 17:44:33 +0000 (17:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Jul 2015 17:44:33 +0000 (17:44 +0000)
commit48f983b8a6e15c465b1e8d2474476c60f57ebb9a
treea87c6fcba8cd5525426441c7f74e871bf89cb3d8
parente3fb4ea1bbf27333a88e14fdcc8a3ee563601fda
parent414f7c060affccada3c692abdb479456fff82f30
Merge "ResourcesOOUI: Convert theme names to lowercase"