Merge "set serialize_precision to 17, current PHP default"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Oct 2015 01:52:29 +0000 (01:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Oct 2015 01:52:29 +0000 (01:52 +0000)
commite8a35d9c34275aa9729d775342bda22b810d2f44
tree3862850c3644b4022dda8950eb81fdb479e3b0d8
parentc52e5a21f6e6d98524960bd63a294504c65153e3
parent71443707ada0546087d0eb949808a1f59aa0668f
Merge "set serialize_precision to 17, current PHP default"