Merge "ApiSandbox: Use OO.ui.getDefaultOverlay()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Jan 2018 21:50:26 +0000 (21:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Jan 2018 21:50:26 +0000 (21:50 +0000)
commitb13cb679d36f738a8ad9f72186d1457b8aa6c03a
tree7e6c3ef3abb23d7f6e865aa772490a3f2c4b8f81
parent3b87d31562a09951a8983759bfd857ffef8f7b6f
parentea84d81e6a65968da7c56dc8623b22803418bf92
Merge "ApiSandbox: Use OO.ui.getDefaultOverlay()"
resources/src/mediawiki.special/mediawiki.special.apisandbox.js