Update php/config/autoconfig.php