diff --git a/tools/benchmark.php b/tools/benchmark.php old mode 100644 new mode 100755 diff --git a/tools/i18n_compile.php b/tools/i18n_compile.php old mode 100644 new mode 100755 diff --git a/tools/i18n_extract.php b/tools/i18n_extract.php old mode 100644 new mode 100755 diff --git a/tools/rebuild.php b/tools/rebuild.php old mode 100644 new mode 100755