[Phpmyadmin-git] [phpmyadmin/phpmyadmin] f82579: Update PHPDoc.

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: f82579055b9dc94e76a413cb3df88690a7ae66ae https://github.com/phpmyadmin/phpmyadmin/commit/f82579055b9dc94e76a413cb3df… Author: Hugues Peccatte <hugues.peccatte(a)gmail.com> Date: 2013-12-20 (Fri, 20 Dec 2013) Changed paths: M libraries/structure.lib.php M libraries/zip_extension.lib.php M user_password.php Log Message: ----------- Update PHPDoc. Signed-off-by: Hugues Peccatte <hugues.peccatte(a)gmail.com> Commit: b6855fa70f51216d4dcd92ba5a93c617f3103327 https://github.com/phpmyadmin/phpmyadmin/commit/b6855fa70f51216d4dcd92ba5a9… Author: Hugues Peccatte <hugues.peccatte(a)gmail.com> Date: 2013-12-20 (Fri, 20 Dec 2013) Changed paths: M libraries/structure.lib.php M libraries/zip_extension.lib.php M user_password.php Log Message: ----------- Merge branch 'phpdoc' Compare: https://github.com/phpmyadmin/phpmyadmin/compare/bc081c62bbb7...b6855fa70f51