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

Branch: refs/heads/QA_5_0 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 4bde7fb6afc6972778d5e898c715445d9a6617d0 https://github.com/phpmyadmin/phpmyadmin/commit/4bde7fb6afc6972778d5e898c715... Author: William Desportes <williamdes@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@wdes.fr>