BUG: make ext_revisions datamodel case insensitive

src/core/js/ext_revisions.js

@@ -161,8 +161,11 @@ var ext_revisions = function ($, logger, edit_mode, getEntityID, transaction, _c
         for (let result of (await results)) {
             if (result.length !== 1) {
                 throw new Error("Invalid datamodel");
-            } else if (getEntityName(result[0]) === _datamodel.revisionOf) {
+            } else if (getEntityName(result[0]).toLowerCase() === _datamodel.revisionOf.toLowerCase()) {
                 _datamodel._revisionOfId = getEntityID(result[0]);
+                _datamodel.revisionOf = getEntityName(result[0]);
+            } else if (getEntityName(result[0]).toLowerCase() === _datamodel.obsolete.toLowerCase()) {
+                _datamodel.obsolete = getEntityName(result[0]);
             }
         }
     };