From 02294f0c84740a2c3fd2d13a4a66544717d778bb Mon Sep 17 00:00:00 2001
From: Peter Kokot <peterkokot@gmail.com>
Date: Wed, 29 Aug 2018 20:50:08 +0200
Subject: Make PHP development tools files and scripts executable

This patch makes several scripts and PHP development tools files
executable and adds more proper shebangs to the PHP scripts.

The `#!/usr/bin/env php` shebang provides running the script via
`./script.php` and uses env to find PHP script location on the system.
At the same time it still provides running the script with a user
defined PHP location using `php script.php`.
---
 ext/pdo_mysql/get_error_codes.php | 1 +
 1 file changed, 1 insertion(+)
 mode change 100644 => 100755 ext/pdo_mysql/get_error_codes.php

(limited to 'ext/pdo_mysql/get_error_codes.php')

diff --git a/ext/pdo_mysql/get_error_codes.php b/ext/pdo_mysql/get_error_codes.php
old mode 100644
new mode 100755
index a1ed85016c..93f523ed20
--- a/ext/pdo_mysql/get_error_codes.php
+++ b/ext/pdo_mysql/get_error_codes.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 	$codes = array();
 	$maxlen = 0;
-- 
cgit v1.2.1