[phpMyAdmin Git] [phpmyadmin/phpmyadmin] af6dc4: Add missing doc comments

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: af6dc40d30b4626ca99f28948408cbad64aacb7b https://github.com/phpmyadmin/phpmyadmin/commit/af6dc40d30b4626ca99f2894840… Author: Madhura Jayaratne <madhura.cj(a)gmail.com> Date: 2016-02-19 (Fri, 19 Feb 2016) Changed paths: M libraries/check_user_privileges.lib.php M libraries/core.lib.php Log Message: ----------- Add missing doc comments Signed-off-by: Madhura Jayaratne <madhura.cj(a)gmail.com>