Cleanup of PHP files according to http://www.mediawiki.org/wiki/Coding_conventions