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