Merge "Revert "Add executable rights for executable (bash) files""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Aug 2015 07:38:00 +0000 (07:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Aug 2015 07:38:00 +0000 (07:38 +0000)
maintenance/dev/includes/php.sh [changed mode: 0755->0644]
maintenance/dev/includes/require-php.sh [changed mode: 0755->0644]

old mode 100755 (executable)
new mode 100644 (file)
old mode 100755 (executable)
new mode 100644 (file)