Merge "resourceloader: Use document.head instead of getElementsByTagName"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Dec 2017 20:28:24 +0000 (20:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Dec 2017 20:28:25 +0000 (20:28 +0000)
commit8faf35c114e42cb4bf1f5b9a5a11978d91a83c22
tree0cdae8dbe1187e9b7e0a00e9d448922b492f766d
parent07b30d6f1dbd912ee9c973737db982699984e067
parent984db6e81e6a894e613bf14b644b2a9a9a5b7818
Merge "resourceloader: Use document.head instead of getElementsByTagName"