Merge "resourceloader: Compile documentElement.className server-side"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2019 21:04:23 +0000 (21:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2019 21:04:23 +0000 (21:04 +0000)
commit543c5c1a1f985f3107ad1172933770bb761e54cf
treeb4eba24a3e46b28f47dc63979a2c93a52a247494
parent75e2607211b30103417d73a780498b9d27537b62
parente04d6c318695a06f2cdd43f4e7785bd2eec123ca
Merge "resourceloader: Compile documentElement.className server-side"
includes/OutputPage.php
includes/resourceloader/ResourceLoaderClientHtml.php
tests/phpunit/includes/resourceloader/ResourceLoaderClientHtmlTest.php