mirror of
https://github.com/php/pie.git
synced 2026-03-23 23:12:17 +01:00
10eb8469f4
- PIE issue: https://github.com/php/pie/issues/537 - Upstream box issue: https://github.com/box-project/box/issues/1577 Can probably be reverted once the Box issue is fixed & released :)
20 lines
496 B
PHP
20 lines
496 B
PHP
#!/usr/bin/env php
|
|
<?php
|
|
|
|
declare(strict_types=1);
|
|
|
|
// echo "James says hello :)\n";
|
|
|
|
// Workaround for https://github.com/php/pie/issues/537 and https://github.com/box-project/box/issues/1577
|
|
error_reporting(error_reporting() & ~E_DEPRECATED);
|
|
|
|
Phar::mapPhar('pie.phar');
|
|
|
|
require 'phar://pie.phar/.box/bin/check-requirements.php';
|
|
|
|
$_SERVER['SCRIPT_FILENAME'] = 'phar://pie.phar/bin/pie';
|
|
require 'phar://pie.phar/bin/pie';
|
|
|
|
// phpcs:ignore Generic.Files.InlineHTML.Found
|
|
__HALT_COMPILER(); ?>
|