Merge "FormatJson: Remove PHP 5.3 compatibility code"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 13 Feb 2016 10:17:12 +0000 (10:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 13 Feb 2016 10:17:12 +0000 (10:17 +0000)
commitf30a7f34e7872839d813dfd2282dbce51bbd4669
tree5d0263d8fe665a2d7d657d3f10eb0e413598ea04
parent5cdc6aca168863e6dd5b3e08271050d3f7ff953f
parenta508f5daeee0f93f00cb262a8ba519a2af0870a5
Merge "FormatJson: Remove PHP 5.3 compatibility code"