[php] Give the user a chance to install mysql_config