Mark scripts as executable

diff --git a/compile.php b/compile.php
old mode 100644 (file)
new mode 100755 (executable)
index f2710d3..8c7e364
--- a/compile.php
+++ b/compile.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 error_reporting(6135); // errors and warnings
 include dirname(__FILE__) . "/adminer/include/version.inc.php";

diff --git a/lang.php b/lang.php
old mode 100644 (file)
new mode 100755 (executable)
index cecd6be..b243c87
--- a/lang.php
+++ b/lang.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 error_reporting(6135); // errors and warnings
 unset($_COOKIE["adminer_lang"]);