Change the cookie library

The jQuery.cookie library is deprecated and replaced by js-cookie, so we switch them

editor/Makefile

@@ -25,7 +25,7 @@ adminer :
 cookie :
 	rm -rf lib/cookie
 	mkdir -p lib/cookie
-	curl -L https://raw.githubusercontent.com/carhartl/jquery-cookie/master/src/jquery.cookie.js -o lib/cookie/jquery.cookie.js
+	curl -L https://www.github.com/js-cookie/js-cookie/releases/download/v2.1.4/js.cookie-2.1.4.min.js -o lib/cookie/js.cookie.min.js
 
 dropzone :
 	rm -rf lib/dropzone

editor/pages/content/home.php

@@ -13,7 +13,7 @@
 		<script src="./lib/ace/src-min-noconflict/ext-modelist.js"></script>
 		<script src="./lib/ace/src-min-noconflict/ext-language_tools.js"></script>
 
-		<script src="./lib/cookie/jquery.cookie.js"></script>
+		<script src="./lib/cookie/js.cookie.min.js"></script>
 
 		<script src="./lib/dropzone/dropzone.min.js"></script>
 		<link  href="./lib/dropzone/dropzone.min.css" rel="stylesheet" type="text/css" />

editor/pages/content/rvsn.php

@@ -135,7 +135,7 @@ function createCommitSelectBox($commits, $boxID, $defaultCommitID = "-1") {
 		<script src="./lib/ace/src-min-noconflict/ext-modelist.js"></script>
 		<script src="./lib/ace/src-min-noconflict/ext-language_tools.js"></script>
 
-		<script src="./lib/cookie/jquery.cookie.js"></script>
+		<script src="./lib/cookie/js.cookie.min.js"></script>
 
 		<script src="./lib/fileDownload/jquery.fileDownload.js"></script>
 

editor/scripts/js/home.js

@@ -430,7 +430,7 @@ function main() {
 	 * @function saveAceOptions
 	 */
 	window.saveAceOptions = function() {
-		$.cookie('ace-options', aceUserOptions, { expires: 5*365, path: '/' });
+		Cookies.set('ace-options', aceUserOptions, { expires: 5*365, path: '/' });
 	};
 
 	/**
@@ -450,8 +450,7 @@ function main() {
 		});
 
 		// load settings currently saved in the cookie and combine them with the default ones
-		$.cookie.json = true;
-		$.extend(aceUserOptions, $.cookie('ace-options'));
+		$.extend(aceUserOptions, Cookies.getJSON('ace-options'));
 		// save them back to the cookie
 		saveAceOptions();
 

editor/scripts/js/rvsn.js

@@ -77,8 +77,7 @@ function main() {
 			editor = ace.edit('editor');
 
 			// load settings currently saved in the cookie and combine them with the default ones
-			$.cookie.json = true;
-			$.extend(aceUserOptions, $.cookie('ace-options'));
+			$.extend(aceUserOptions, Cookies.getJSON('ace-options'));
 
 			// set editor options
 			editor.setOptions(aceOptions);