Merge "Make JSON styling available on mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 May 2019 17:00:10 +0000 (17:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 May 2019 17:00:10 +0000 (17:00 +0000)
commite23ef8a1f0d1a7ea25227c6698e4c93cb9bce1d2
treeb261a710d09172ad35f17208ea21e891a59b243d
parent11488c2d7779117c56cfd6af96f99b5d0180949c
parent95da826edf7b33122fd6b426659f9a09f96e93c4
Merge "Make JSON styling available on mobile"
resources/Resources.php