Merge "Resources: Remove very old comment about OOjs UI incompatibility"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Jun 2016 16:07:15 +0000 (16:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Jun 2016 16:07:15 +0000 (16:07 +0000)
commit5baa49450c303cfd603063c77440a02c06003a03
tree5397ba0edf4e8f6333ef112cfd40551a14ec4b76
parent40ac7fd1b5bd2dbd6843d5907454178f390436f9
parent395fa474f6cd5b7135f4dc780e14002bd49771c2
Merge "Resources: Remove very old comment about OOjs UI incompatibility"
resources/Resources.php