Merge "resources: Rename oojs-ui file paths to ooui per general branding"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Sep 2018 23:16:08 +0000 (23:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Sep 2018 23:16:08 +0000 (23:16 +0000)
commita3fc63d171a347332c2fd9a182335bc17f47ed16
tree3de63c81ec6243e0397d9fa432b6b08c080c5c7c
parent9b009467f87e03efb70db885a13a0a2aa56356a9
parent7cadf392f6dcc76a31149f6b23e30e2d2f0babe5
Merge "resources: Rename oojs-ui file paths to ooui per general branding"
maintenance/jsduck/eg-iframe.html