dist dev delete

Former-commit-id: 9d1c428dd9594794fe29ee79b17b443013f4f5c7 [formerly 31012159e50a9214494cb5826040a2022c6565c8] [formerly 511ef3ccf2b74c6f7392081a7e931de695e8d9f9 [formerly 8a1a1601971adae3ff43d9005aa63ccf568a531a]]
Former-commit-id: 9ed6b707236a300d1154bfd0db8dd3be3dca5f20 [formerly ea39ffbf2640b19c5eaa92d46e058b8e34c304cd]
Former-commit-id: b2bffb84cb2f867ccb80e2232d302888600be2a6

_assets/_old/js/common_old.js

@@ -16,12 +16,6 @@ Document.prototype.sendCostumEvent = function (text) {
   this.dispatchEvent(new window.CustomEvent(text))
 }
 
-// Gets the content of a cookie
-Document.prototype.getCookie = function (name) {
-  var re = new RegExp('(?:(?:^|.*;\\s*)' + name + '\\s*\\=\\s*([^;]*).*$)|^.*$')
-  return document.cookie.replace(re, '$1')
-}
-
 
 
 /* * * * * * * * * * * * * * * *
@@ -80,13 +74,6 @@ buttons.setDone = function (name, success = true) {
   return false
 }
 
-/* * * * * * * * * * * * * * * *
- *                             *
- *            WEBDAV           *
- *                             *
- * * * * * * * * * * * * * * * */
-
-
 /* * * * * * * * * * * * * * * *
  *                             *
  *            EVENTS           *