php - script - Diferencia entre set_time_limit() y ini_set(''max_execution_time'',...)