Merge "registration: Fix mode of files (755 -> 644)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 May 2016 18:33:13 +0000 (18:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 May 2016 18:33:13 +0000 (18:33 +0000)
docs/extension.schema.json [changed mode: 0755->0644]
includes/registration/ExtensionProcessor.php [changed mode: 0755->0644]
maintenance/convertExtensionToRegistration.php [changed mode: 0755->0644]

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