disable(); echo json_encode(Linter::lint($sql_query));