3 files changed, 3 insertions, 1 deletions
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php
index a9c58f8c00..bab7ed9a3f 100644..100755
--- a/scripts/dev/check_parameters.php
+++ b/scripts/dev/check_parameters.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /*
   +----------------------------------------------------------------------+
diff --git a/scripts/dev/find_tested.php b/scripts/dev/find_tested.php
index 4e1e2a3bb4..33d53d8163 100644..100755
--- a/scripts/dev/find_tested.php
+++ b/scripts/dev/find_tested.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 
 
diff --git a/scripts/dev/search_underscores.php b/scripts/dev/search_underscores.php
index 23db7dd7b3..cac1a5d9db 100755
--- a/scripts/dev/search_underscores.php
+++ b/scripts/dev/search_underscores.php
@@ -1,4 +1,4 @@
-#! /usr/local/bin/php -n
+#!/usr/bin/env php
 <?php
 
 /*