Make update-config-revision.php script executable

xemlock · xemlock · commit f90627b195a7 · 2018-08-14T22:20:33.000+02:00
diff --git a/tools/update-config-revision.php b/tools/update-config-revision.php
@@ -1,3 +1,4 @@
+#!/usr/bin/php
 <?php
 
 $configFile = __DIR__ . '/../library/HTMLPurifier/HTML5Config.php';

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+#!/usr/bin/php`
`1`	`2`	`<?php`
`2`	`3`
`3`	`4`	`$configFile = __DIR__ . '/../library/HTMLPurifier/HTML5Config.php';`