MediaWiki talk: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)