「Widget:Custom map」の版間の差分

2024年9月24日 (火) 13:17時点における版

地図表示Widget「Widget:Custom map」です。

@@ 370行目: / 370行目: @@
          if (geoJSONData) {
              await saveToWikiPage(geoJSONData);
-             saveButton.remove();
+             // Note: saveButton.remove() is now called inside saveToWikiPage on success
          } else {
              alert('Error: Invalid GeoJSON data');
@@ 378行目: / 378行目: @@
      }
 }, '変更を保存');
@@ 552行目: / 551行目: @@
 }).addTo(map);
+function checkUserLoggedIn() {
+    if (typeof mw !== 'undefined' && mw.user) {
+        return mw.user.isAnon() === false;
+    }
+    return false;
+}
+function getCSRFToken() {
+    return new Promise((resolve, reject) => {
+        if (typeof mw === 'undefined' || !mw.user || !mw.api) {
+            reject('MediaWiki API is not available');
+            return;
+        }
+        mw.user.getToken(true).then(token => {
+            resolve(token);
+        }).catch(err => {
+            reject('Failed to get CSRF token: ' + err);
+        });
+    });
+}
 async function saveToWikiPage(geoJSONData) {