Updates for phpBB 3.1.2