Single blank line at eof

A PHP file without end tag must always end with a single empty line feed.

Use PHP 8.0 token representation

Migrate everything to use PhpToken-compatible token representation,
rather than the legacy array/string representation.