phpmyadmin/phpmyadmin — pull request #745 by Tithugues (2013-11-08 21:45:46+00:00)
Title: Phpdoc update

Hi,

I just updated PHPDoc. (Quite useful for some IDE, like PHPStorm.)
I let you see if this is needed or not.

Thanks,

H.