HomePhabricator

Merge "Add support for PHP 5.3 to the dumpIndex maintenance script"

Authored by jenkins-bot.

Description

Merge "Add support for PHP 5.3 to the dumpIndex maintenance script"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rECIRf60f426d148d: Merge "Add support for PHP 5.3 to the dumpIndex maintenance script" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jun 22 2015, 8:46 PM

Merged Changes

CommitAuthorDetailsCommitted
40a13c5e155adcausse
Add support for PHP 5.3 to the dumpIndex maintenance script 
Jun 22 2015