extract setup.php