diff --git a/doc/check_namespace.php b/doc/check_namespace.php index 111f726dea..c42a3d1d08 100755 --- a/doc/check_namespace.php +++ b/doc/check_namespace.php @@ -1,4 +1,4 @@ -#!/usr/bin/php -qC +#!/usr/bin/env php -qC