Merge "Make update.php file executable"

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.