MediaWiki:Gadget-ShortURL.js:修订间差异
删除的内容 添加的内容
小 // Edit via Wikiplus |
匿名用户也可复制短链接:去掉 wgUserName 判断 |
||
第248行:
}).$element
);
▲ var _iterator2 = _createForOfIteratorHelper(domains.entries()), _step2;
for (_iterator2.s(); !(_step2 = _iterator2.n()).done; ) {
▲ try {
new mw.widgets.CopyTextLayout({
▲ // eslint-disable-next-line @typescript-eslint/no-unsafe-call, @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-argument
);▼
}▼
} catch (err) {▼
_iterator2.e(err);▼
}
}
void OO.ui.alert($element, {
| |||