aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rwxr-xr-x_test/fetchphpunit.php2
-rwxr-xr-xbin/dwpage.php2
-rwxr-xr-xbin/gittool.php2
-rwxr-xr-xbin/indexer.php2
-rwxr-xr-xbin/plugin.php2
-rwxr-xr-xbin/render.php2
-rwxr-xr-xbin/striplangs.php2
-rwxr-xr-xbin/wantedpages.php2
-rwxr-xr-xlib/scripts/jquery/update.sh2
9 files changed, 9 insertions, 9 deletions
diff --git a/_test/fetchphpunit.php b/_test/fetchphpunit.php
index ceea6652d..293bcf768 100755
--- a/_test/fetchphpunit.php
+++ b/_test/fetchphpunit.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
/**
* Simple command line script to fetch the correct PHPUnit release
diff --git a/bin/dwpage.php b/bin/dwpage.php
index 967183434..dee8039eb 100755
--- a/bin/dwpage.php
+++ b/bin/dwpage.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/bin/gittool.php b/bin/gittool.php
index 990281bf6..5ebd0c584 100755
--- a/bin/gittool.php
+++ b/bin/gittool.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/bin/indexer.php b/bin/indexer.php
index 9ccdaa448..c8c83610d 100755
--- a/bin/indexer.php
+++ b/bin/indexer.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/bin/plugin.php b/bin/plugin.php
index a3ee78dd0..84a800ecb 100755
--- a/bin/plugin.php
+++ b/bin/plugin.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use dokuwiki\Extension\PluginController;
diff --git a/bin/render.php b/bin/render.php
index cc4a00314..607695191 100755
--- a/bin/render.php
+++ b/bin/render.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/bin/striplangs.php b/bin/striplangs.php
index 1800971e5..91805d59e 100755
--- a/bin/striplangs.php
+++ b/bin/striplangs.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/bin/wantedpages.php b/bin/wantedpages.php
index f2efa0950..6b3f78743 100755
--- a/bin/wantedpages.php
+++ b/bin/wantedpages.php
@@ -1,4 +1,4 @@
-#!/usr/bin/php
+#!/usr/bin/env php
<?php
use splitbrain\phpcli\CLI;
diff --git a/lib/scripts/jquery/update.sh b/lib/scripts/jquery/update.sh
index e950d89b7..10c29c4ee 100755
--- a/lib/scripts/jquery/update.sh
+++ b/lib/scripts/jquery/update.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
#
# This script loads the latest jQuery and jQuery-UI 1.* versions from jQuery's CDN
#