Merge "Deprecate .php5 file extension"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Apr 2015 20:03:58 +0000 (20:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Apr 2015 20:03:58 +0000 (20:03 +0000)
commit1ab983ded947c0869315884157b1cace0ab3225d
tree36c535fc69f4de94708d27c8e87719fbfbd66be8
parent6b4ef9e7c6523075b4f48878e02c9fac77e947ca
parent15765a295fbe9373f39ba439ae2417f1e4e4058c
Merge "Deprecate .php5 file extension"