Cleanup for the non-main PHP files. PHP ending tag should be omitted on pure PHP files; see also https://www.mediawiki.org/wiki/Special:Code/MediaWiki/23531

TODO: is loader.php actually used? If not, then maybe it should be removed.