Fix bug #3860 Displayed git revision info is not set

I happened to encounter bug #3860 while I was setting up phpMyAdmin environment in one of the Windows machine and it made me debug to find the cause. Here is a fix for the problem.