[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 135e82: Replace jquery.cookie.js with js.cookie.js

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 135e82cc696690596dcdaefec33665767288c254
      https://github.com/phpmyadmin/phpmyadmin/commit/135e82cc696690596dcdaefec33665767288c254
  Author: Michal Čihař <michal at 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 at cihar.com>