Properly mark requests to lint as AJAX request

Signed-off-by: Michal Čihař <michal@cihar.com>
2016-07-23 11:26:10 +02:00 · 2016-07-23 11:26:10 +02:00 · 754c1c987b
commit 754c1c987b
parent d3a91549be
1 changed files with 2 additions and 0 deletions
--- a/lint.php
+++ b/lint.php
@ -7,6 +7,8 @@
 */
 use PMA\libraries\Linter;

+$_GET['ajax_request'] = 'true';
+
 /**
 * Loading common files. Used to check for authorization, localization and to
 * load the parsing library.