Replace dead and obsolete HTML in the core

Hi Internals, I have recently made a patch[1] for PHP7 that replaces dead and obsolete HTML code (like <img border="0">, <a name="..."></a> vs. <... id="..."></...> or XHTML's NET notation <br /> vs. HTML's <br>), mostly being output by PHP itself (error messages, phpinfo() etc.), with alternatives that are being used rather nowadays. I would appreciate any feedback, as well as thoughts what else could be included in the patch. Thanks, Kubo2 [1] https://github.com/php/php-src/pull/1301