--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/pyams_skin/resources/js/ext/tinymce/dev/classes/util/JSON.min.js	Tue Sep 08 17:27:31 2015 +0200
@@ -0,0 +1,1 @@
+define("tinymce/util/JSON",[],function(){function a(g,c){var f,b,e,d;c=c||'"';if(g===null){return"null"}e=typeof g;if(e=="string"){b="\bb\tt\nn\ff\rr\"\"''\\\\";return c+g.replace(/([\u0080-\uFFFF\x00-\x1f\"\'\\])/g,function(i,h){if(c==='"'&&i==="'"){return i}f=b.indexOf(h);if(f+1){return"\\"+b.charAt(f+1)}i=h.charCodeAt().toString(16);return"\\u"+"0000".substring(i.length)+i})+c}if(e=="object"){if(g.hasOwnProperty&&Object.prototype.toString.call(g)==="[object Array]"){for(f=0,b="[";f<g.length;f++){b+=(f>0?",":"")+a(g[f],c)}return b+"]"}b="{";for(d in g){if(g.hasOwnProperty(d)){b+=typeof g[d]!="function"?(b.length>1?","+c:c)+d+c+":"+a(g[d],c):""}}return b+"}"}return""+g}return{serialize:a,parse:function(c){try{return window[String.fromCharCode(101)+"val"]("("+c+")")}catch(b){}}}});
\ No newline at end of file