[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4bde7f: Fix a merge issue reported by Scrutinizer

[William Desportes]

Branch: refs/heads/QA_5_0
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 4bde7fb6afc6972778d5e898c715445d9a6617d0
https://github.com/phpmyadmin/phpmyadmin/commit/4bde7fb6afc6972778d5e898c715445d9a6617d0
Author: William Desportes <williamdes at wdes.fr>
Date: 2019-11-22 (Fri, 11 November 2019) +01:00

Changed paths: 
M libraries/classes/Display/GitRevision.php

Log Message:
-----------
Fix a merge issue reported by Scrutinizer

- isRemoteBranch was undefined

Signed-off-by: William Desportes <williamdes at wdes.fr>