Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 135e82cc696690596dcdaefec33665767288c254 https://github.com/phpmyadmin/phpmyadmin/commit/135e82cc696690596dcdaefec33… Author: Michal Čihař <michal(a)cihar.com> Date: 2017-06-13 (Tue, 13 Jun 2017) Changed paths: M js/console.js M js/functions.js R js/jquery/jquery.cookie.js A js/js.cookie.js M js/navigation.js M js/sql.js M libraries/Header.php Log Message: ----------- Replace jquery.cookie.js with js.cookie.js The latter one is suggested replacement for no longer maintained jquery.cookie.js. Signed-off-by: Michal Čihař <michal(a)cihar.com>