From 7807b1d061fd61d32cededefe69cb5d7649bd821 Mon Sep 17 00:00:00 2001 From: daniel Date: Mon, 9 Jan 2023 15:34:27 +0100 Subject: Add maintenance/run Creates a file called "run" as an alias for "run.php", which can be executed directly. run.php itself should not contain a shebang line. Change-Id: Iecc388e9453426384c8a076e719c98b2adf96278 --- maintenance/run.php | 1 - 1 file changed, 1 deletion(-) (limited to 'maintenance/run.php') diff --git a/maintenance/run.php b/maintenance/run.php index 767c15b1d8c1..ed72c3db46c1 100755 --- a/maintenance/run.php +++ b/maintenance/run.php @@ -1,4 +1,3 @@ -#!/usr/bin/env php