diff options
author | William Desportes <williamdes@wdes.fr> | 2018-12-21 17:02:10 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2018-12-21 17:02:13 +0300 |
commit | 99cee9e389d826af4f1ca1e2872fbf9e692c8246 (patch) | |
tree | 22b913b0524141b1fc99282131ced2719f5d7387 /index.php | |
parent | 3ca66461373955f9f92c1dc5beb01a39885bddba (diff) |
Fix #14635 - Git revision error
See: #14762
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -134,10 +134,12 @@ if ($response->isAjax() && ! empty($_REQUEST['recent_table'])) { } if ($GLOBALS['PMA_Config']->isGitRevision()) { + // If ajax request to get revision if (isset($_REQUEST['git_revision']) && $response->isAjax()) { GitRevision::display(); exit; } + // Else show empty html echo '<div id="is_git_revision"></div>'; } |