diff --git a/scripts/json-app-tool.php b/scripts/json-app-tool.php index 5bc445ef3f3e..5097ebd3a82d 100755 --- a/scripts/json-app-tool.php +++ b/scripts/json-app-tool.php @@ -1,6 +1,8 @@ #!/usr/bin/env php