From 4bde7fb6afc6972778d5e898c715445d9a6617d0 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Fri, 22 Nov 2019 23:49:37 +0100
Subject: [PATCH] Fix a merge issue reported by Scrutinizer

- isRemoteBranch was undefined

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 libraries/classes/Display/GitRevision.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libraries/classes/Display/GitRevision.php b/libraries/classes/Display/GitRevision.php
index 235af89145..0a20f0e150 100644
--- a/libraries/classes/Display/GitRevision.php
+++ b/libraries/classes/Display/GitRevision.php
@@ -84,7 +84,8 @@ class GitRevision
         }
 
         $branch = $this->config->get('PMA_VERSION_GIT_BRANCH');
-        if ($this->config->get('PMA_VERSION_GIT_ISREMOTEBRANCH')) {
+        $isRemoteBranch = $this->config->get('PMA_VERSION_GIT_ISREMOTEBRANCH');
+        if ($isRemoteBranch) {
             $branch = '<a href="'
                 . Core::linkURL(
                     'https://github.com/phpmyadmin/phpmyadmin/tree/'