[MediaWiki-commits] [Gerrit] operations/puppet[production]: contint/doc.wm.org: drop dir.php from DirectoryIndex

Dzahn has submitted this change and it was merged. Change subject: contint/doc.wm.org: drop dir.php from DirectoryIndex .. contint/doc.wm.org: drop dir.php from DirectoryIndex As hashar points out we don't want the old dir.php

[MediaWiki-commits] [Gerrit] operations/puppet[production]: contint/doc.wm.org: drop dir.php from DirectoryIndex

Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/322206 Change subject: contint/doc.wm.org: drop dir.php from DirectoryIndex .. contint/doc.wm.org: drop dir.php from DirectoryIndex As hashar points