Update php/setup.php