phpBB coding standard for PHP files of phpBB extensions