Make update.php file executable

It's simpler to run ./update.php rather than php update.php.

Change-Id: I8ea8e00ac80011d375cbec095ad32239dede7310

diff --git a/maintenance/update.php b/maintenance/update.php
old mode 100644 (file)
new mode 100755 (executable)
index f96ee39..a51564a
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /**
  * Run all updaters.