[Phpmyadmin-devel] How to change information in the "serverinfo" division.