On the server status page, I added the raw value as a title attribute on an abbr tag wrapped around the formatted value if it is over 1000, when it would get shortened with PMA_fromatNumber(). The output is the same as how the server variables page displays large values. This makes it easier to notice small changes in large values without having to choose between only seeing either the formatted or unformatted values.
View and moderate all "patches Discussion" comments posted by this user
Mark all as spam, and block user from posting to "Patches"
adds raw values as titles to formatted values in server_status.php
View and moderate all "patches Discussion" comments posted by this user
Mark all as spam, and block user from posting to "Patches"
Thanks. I adapted the patch for the upcoming 4.0, as new features do not go in the stable version.
Next time, please submit a patch for the current master version (this is easy on github.com, see http://www.phpmyadmin.net/home_page/devel.php\).