MediaWiki:Gadget-UserProfile.js:修订历史

跳转到导航 跳转到搜索

差异选择:选中要对比的修订的单选按钮,然后按Enter键或下面的按钮。
说明:(当前)=与最后修订的差异,(之前)=与上个修订的差异,=小编辑。

2024年11月12日 (星期二)

2024年3月27日 (星期三)

2023年12月26日 (星期二)

2023年11月9日 (星期四)

  • 当前之前 09:382023年11月9日 (四) 09:38Anterdc99 留言 贡献 7,368字节 +7,368 创建页面,内容为“// User profile // <nowiki> mw.loader.using( [ 'mediawiki.util', 'mediawiki.api' ] ).done( function() { var config = mw.config.get( [ 'wgRelevantUserName', 'wgNamespaceNumber', 'wgUserLanguage', 'wgArticleId', 'wgAction', 'wgTitle' ] ); var username = config.wgRelevantUserName; if ( !username || window.loadedHorseUserProfile ) return; window.loadedHorseUserProfile = true; if ( config.wgNamespaceNumber !== -1 && config.wgTitle.includes('/') ) r…”