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