Merge "Use .json extension for OOUI source maps"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 May 2018 12:55:34 +0000 (12:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 May 2018 12:55:34 +0000 (12:55 +0000)
commit51755499a7b2b4fd677bbc6a05d1b2d6c5f09a64
tree6fc09cba27bfab08a550e17a141059577894f38b
parentc413d15d183cad695ab68b77bf384c43cf1047dc
parent1c933d8c2e4f12787ac1d74a6cb721c80d00dabd
Merge "Use .json extension for OOUI source maps"