Merge branch 'develop' into 'master'

Develop

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!95

dmnverifierfrontend/src/main/resources/META-INF/resources/config.html

@@ -64,13 +64,13 @@
       success: function (verificationTypes) {
         let $ul = $(`<ul>`);
         $verificationConfig.append($ul);
-        for (const [name, value] of Object.entries(verificationTypes)) {
+        for (const [vName, value] of Object.entries(verificationTypes)) {
           let $li = $(`<li>`);
-          let $checkbox = $(`<input type="checkbox" data-verificationtypename="${name}"
+          let $checkbox = $(`<input type="checkbox" data-verificationtypename="${vName}"
                                     onchange="updateVerificationType(this)"/>`);
           $checkbox[0].checked = value;
           $li.append($checkbox);
-          $li.append($(`<label>${name}</label>`));
+          $li.append($(`<label>${vName}</label>`));
           $ul.append($li);
         }
       }