Merge "ExternalStoreDB: update for PHP 5"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Dec 2013 16:54:07 +0000 (16:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Dec 2013 16:54:07 +0000 (16:54 +0000)
commit3572e50f6faa2dbc474d1799723074458c064aef
tree41e90267d60c8d79cbc295c4645b795660e672bb
parent4b423e2b795bc2eb2b8a1e975bc9bccba400a58e
parentad9c52c217d80c04ec7f41f522767ba4225ffc5e
Merge "ExternalStoreDB: update for PHP 5"