Merge "mediawiki.page.startup: Use document.documentElement instead of 'html'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 14 Mar 2015 00:20:43 +0000 (00:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 14 Mar 2015 00:20:43 +0000 (00:20 +0000)
commit42dbaa536e0351f8cf6544443d1eb51a71cf7877
tree17530a6d59efdc93963bb53e5c6f524e2b276ed5
parent7a16e1e7ceeddff1951492d4450015e6c83fd5b9
parent9e7bca466010818adde7e152d0bf9ba32747a6e4
Merge "mediawiki.page.startup: Use document.documentElement instead of 'html'"