phpmyadmin/phpmyadmin — pull request #750 by Tithugues (2013-11-11 18:05:23+00:00)
Title: PHPDoc update

Hi,

Here is a short PHPDoc update.