diff --git a/bin/check-phpdoc-types.php b/bin/check-phpdoc-types.php old mode 100644 new mode 100755 diff --git a/bin/generate-document.php b/bin/generate-document.php old mode 100644 new mode 100755 diff --git a/bin/generate-locales.php b/bin/generate-locales.php old mode 100644 new mode 100755