Merge "sql.php: Provide --json output mode"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Feb 2018 21:14:19 +0000 (21:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Feb 2018 21:14:19 +0000 (21:14 +0000)
commit7c673c44a1f626b176a9902f0b2479fecabb402f
treefbf90ab4e646a5d5266cb64b4198cfe0494cebd6
parentd4bf8b24ce63eea451ca601e63bbbe1ce7236f6f
parentd8c29fee35e021f3683a9fc59b46eb8098174925
Merge "sql.php: Provide --json output mode"