Allow .phar renaming
authorChristian Weiske <[email protected]>
Tue, 15 Dec 2015 06:43:09 +0000 (07:43 +0100)
committerChristian Weiske <[email protected]>
Tue, 15 Dec 2015 06:43:09 +0000 (07:43 +0100)
commita3efc5374a210e045b0c3b3d95153f2f64e48067
treebc37324831bb163cf1d5699d4d648845a4e2f8e6
parentd1a2b25238b8971381fc143dadb3e2936f93bfa1
Allow .phar renaming

Without this code, trying to execute "php-sqllint" without the ".phar"
extension would result in a fatal error

> PHP Warning: require(..)
> failed to open stream: phar error: invalid url or non-existent phar
src/stub-phar.php