Single blank line at eof

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

Closes GH-541.

Spanish translation of PHP 8.1 release page (#473)

Co-authored-by: Julio Napurí <juilonc@php.net>
Co-authored-by: Sergey Panteleev <sergey@php.net>