From de3a91f9291c52967554c824413e6ddab83c1ef9 Mon Sep 17 00:00:00 2001 From: physikerwelt Date: Fri, 9 May 2014 10:24:11 +0000 Subject: [PATCH] Make update.php file executable It's simpler to run ./update.php rather than php update.php. Change-Id: I8ea8e00ac80011d375cbec095ad32239dede7310 --- maintenance/update.php | 1 + 1 file changed, 1 insertion(+) mode change 100644 => 100755 maintenance/update.php diff --git a/maintenance/update.php b/maintenance/update.php old mode 100644 new mode 100755 index f96ee39a3b..a51564aff3 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -1,3 +1,4 @@ +#!/usr/bin/env php