Description
The following code:
<?php
require __DIR__ . '/warning_replay.inc';
require __DIR__ . '/warning_replay.inc';
warning_replay.inc:
<?php
declare(unknown=1);
Resulted in this output without JIT:
Warning: Unsupported declare 'unknown' in /tmp/warning_replay.inc on line 3
Warning: Unsupported declare 'unknown' in /tmp/warning_replay.inc on line 3
Resulted in this output with JIT:
Warning: Unsupported declare 'unknown' in /tmp/warning_replay.inc on line 3
Not sure if it is expected
PHP Version
Operating System
No response