Properly mark requests to lint as AJAX request

Signed-off-by: Michal Čihař <michal@cihar.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/lint.php b/lint.php
index 73a3b289df..39d57c567d 100644
--- 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.