Merge "Load styles in 'oojs-ui-widgets' again rather than a separate module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Aug 2018 14:57:19 +0000 (14:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Aug 2018 14:57:19 +0000 (14:57 +0000)
commitf7e3ee20bb0384ff81752df8e53beca07c339304
tree5fb6f2b4dda09f62c6706e3e219cd581de1186e2
parent9171317645de4d31c61c570a9e4fa765e09ecc4d
parentbebcceb742c6481fec883fa826a40096b5b917b4
Merge "Load styles in 'oojs-ui-widgets' again rather than a separate module"
resources/Resources.php