Content deleted Content added
adding ability to place indicators before links (instead of just after) |
adding 🕵️ for check users |
||
(One intermediate revision by the same user not shown) | |||
Line 13:
this.mw = mw;
this.window = window;
this.linksChecked = new Set([]);
}
async execute() {
//console.time("uri");
const defaultRoleInfoLookup = {
wmf: ['🌐', 'Wikimedia Foundation (WMF)'],
Line 22 ⟶ 23:
stewards: ['🩺', 'Steward or Ombud'],
arbcom: ['⚖️', 'Arbitration Committee member'],
bureaucrats: ['
checkUsers: ['🕵️️️️', 'Check User'],
admins: ['🧹', 'Admin'],
formerAdmins: ['🚬', 'Former Admin'],
Line 42 ⟶ 44:
}
await this.getUsernames();
this.addCSS('user-role-indicator', 'font-size: smaller; display: inline; background: #b7b9ff55; padding: 0.1em; border-radius: 5px;')
Line 52 ⟶ 54:
const $links = this.$( '#article a, #bodyContent a, #mw_contentholder a' );
//
$links.each( ( index, element ) => {
this.$link = this.$( element );
if(this.linksChecked.has(element)){
return;
}
this.linksChecked.add(element);
if ( !this.linksToAUser() ) {
return;
Line 66 ⟶ 74:
this.addRoleInfoIfNeeded();
} );
//
//console.timeEnd("uri");
//console.log("-------");
}
Line 106 ⟶ 117:
async getUsernames() {
if(this.wmf){
return;
}
const dataString = await this.getWikitextFromCache( 'User:NovemBot/userlist.js' );
const dataJSON = JSON.parse( dataString );
Line 125 ⟶ 141:
this.bureaucrats = dataJSON.bureaucrat;
this.admins = dataJSON.sysop;
this.checkUsers = dataJSON.checkuser;
this.formerAdmins = dataJSON.formeradmin;
this.newPageReviewers = dataJSON.patroller;
Line 296 ⟶ 313:
this.addRoleInfoIfAppropriate( this.arbcom, this.roleInfoLookup.arbcom[0], this.roleInfoLookup.arbcom[1]);
this.addRoleInfoIfAppropriate( this.bureaucrats, this.roleInfoLookup.bureaucrats[0], this.roleInfoLookup.bureaucrats[1]);
this.addRoleInfoIfAppropriate( this.checkUsers, this.roleInfoLookup.checkUsers[0], this.roleInfoLookup.checkUsers[1]);
this.addRoleInfoIfAppropriate( this.admins, this.roleInfoLookup.admins[0], this.roleInfoLookup.admins[1]);
this.addRoleInfoIfAppropriate( this.formerAdmins, this.roleInfoLookup.formerAdmins[0], this.roleInfoLookup.formerAdmins[1]);
Line 308 ⟶ 326:
}
}
var userRoleIndicator = new UserRoleIndicator( $, mw, window )
// Fire after wiki content is added to the DOM, such as when first loading a page, or when a gadget such as the XTools gadget loads.
mw.hook( 'wikipage.content' ).add( async () => {
await mw.loader.using( [ 'mediawiki.util', 'mediawiki.Uri', 'mediawiki.Title' ], async () => {
await
} );
} );
Line 319 ⟶ 339:
mw.hook( 'postEdit' ).add( async () => {
await mw.loader.using( [ 'mediawiki.util', 'mediawiki.Uri', 'mediawiki.Title' ], async () => {
await
} );
} );
|