Hello internals, I'm currently going through the PHP doc to remove mentions of PHP 4 and stumbled upon the short_open_tag ini directive [1] which only affects the availability of `<?` tags as `<?=`is always available as of PHP 5.4. >From my understanding, the `<?` tag is not available without the directive, so maybe we should deprecate PHP's short tag altogether?
Best regards George P. Banyard [1] https://secure.php.net/manual/en/ini.core.php#ini.short-open-tag
