phpmyadmin/phpmyadmin — pull request #312 by G-Nugget (2013-05-03 19:20:22+00:00)
Title: fixes on server status page

added missing tag
removed (int) check which caused issues with large numbers on 32-bit systems
removed different case based on if the value is an int - the output should be the same for both