$wgWMENewPHPVersion