Merge "Installer: remove dependency on JSON extension"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Oct 2013 18:11:45 +0000 (18:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Oct 2013 18:11:45 +0000 (18:11 +0000)
commit0aa4ff814eb885ebe23697aabc2311afaeb5a5f8
tree54adc9b8d861dae2dfdba568c49414f2b5999f1d
parent543f0ea46e51ec7c10c3f3200aa1ef9a6261a189
parentea60cd90a63dd7da3e957acfa97f5c5831310aab
Merge "Installer: remove dependency on JSON extension"
includes/installer/Installer.i18n.php