[PHP-DEV] [VOTE] Remove alternative PHP tags

[Nikita Popov]

Hi internals!

The vote for removal of alternative PHP opening/closing tags in PHP 7 is
now open:

    https://wiki.php.net/rfc/remove_alternative_php_tags#vote

Nikita