MediaWiki討論:Gadget-wikiplus-highlight.js

編輯請求

狀態：完成

將以下內容：

全文

修改為：

mw.loader.load('//cdn.jsdelivr.net/gh/bhsd-harry/Wikiplus-highlight@stable/main.min.js');

作為原作者請求換源。這個版本雖然由於jsdelivr的緩存問題可能不是最新的，但緩存可能也有助於規避錯誤。相比站內的版本，當前的stable版本移除了一些buggy feature。————移動版用戶 Bhsd 2022年2月19日 (六) 00:22 (CST)

@Bhsd 中國大陸沒有jsdelivr的服務了，可能遇到訪問緩慢或無法加載等問題，之後會轉為es3寫入。—— ほしみ 2022年2月19日 (六) 00:35 (CST)

@星海子啊這⋯⋯可是不可避免地會需要通過jsdelivr加載CodeMirror及相關組件啊，那樣整個高亮工具都用不了了。——移動版用戶 Bhsd 2022年2月19日 (六) 00:46 (CST)

我不知道x 問問@AnnAngela（ —— ほしみ 2022年2月19日 (六) 00:49 (CST)

建議把相關代碼存到gadget里通過mw.loader.using調用，你可以整理一份清單，以名字:代碼的方式進行對應。——From AnnAngela the Bureaucrat (Talk) 2022年2月19日 (六) 10:16 (CST)

因為IPE也會用到，把@机智的小鱼君一塊兒叫上討論吧。——移動版用戶 Bhsd 2022年2月19日 (六) 10:35 (CST)

因為IPE的一些特性，難以修改為可部署到本地wiki的形式（至少IPE-v2不太方便改動）機智的小魚君⚡ (給我留言✨) 2022年2月19日 (六) 11:58 (CST)

補充說明：IPE有大量非本站用戶使用的，因此對我來說還需要考慮可用性問題，中國大陸的加載速度反倒不是最關鍵的要素。機智的小魚君⚡ (給我留言✨) 2022年2月19日 (六) 12:06 (CST)

這種使用人數不太多的，非默認啟用的小工具其實無所謂吧。—— ほしみ 2022年2月19日 (六) 12:36 (CST)

也行，那星海你改吧。只是之後如果有用戶反饋加載緩慢時需要作出解釋。——From AnnAngela the Bureaucrat (Talk) 2022年2月20日 (日) 11:09 (CST)

狀態：完成

將以下內容：

mw.hook("wiki-codemirror").add(function (cm) {
    cm.setOption("indentWithTabs", false);
});

刪除

這幾行代碼應該寫在行政員及其他有需要的用戶的的個人JS里，否則將阻止普通用戶正常進行自定義。另外在最新版本已可在圖形設置界面中修改縮進相關設置，由於CDN的緩存預計將在一兩周後生效。————移動版用戶 Bhsd 2022年4月5日 (二) 13:54 (CST)

那等生效後再移除吧。——From AnnAngela the Bureaucrat (Talk) 2022年4月5日 (二) 16:51 (CST)

狀態：完成

增加以下內容：

mw.loader.load('//fastly.jsdelivr.net/npm/wikiplus-highlight/main.min.js');

改為使用npm的話更方便version control，而且也方便未來更換CDN。體感緩存也會縮短。————移動版用戶 Bhsd 2022年5月23日 (一) 02:48 (CST)

去掉/main.min.js應該也行？和ipe一致。—— ほしみ 2022年5月23日 (一) 03:02 (CST)