Replace <?php echo with <?=

Adopt this convenience since 5.4 makes it possible on all supported installs.

Should _not_ be merged before #2588 (at which point this will need regenerating).