Merge "docs: Remove Doxyfile searching for .php5 and upper-case file extensions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Aug 2018 17:10:34 +0000 (17:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Aug 2018 17:10:34 +0000 (17:10 +0000)
commite2727d23ea43cf96a848c74f414c7addf2c1e4be
tree7bf23ba39d4311aea578d445959f2103a4eb9f6e
parent91696c100c9ee01c30fb1a33d575dbcf465e6203
parent1c7797ee5d1a18624c93a743ce0ee168a2607755
Merge "docs: Remove Doxyfile searching for .php5 and upper-case file extensions"