« MediaWiki:Gadget-easyPeerReview.js » : différence entre les versions
Contenu supprimé Contenu ajouté
mark google redirects as minor |
make {{breaking review}} goto {{breaking}} |
||
Ligne 161 :
throw new Error("Could not retrieve page source from server when trying to replace review with tasks in failed review");
}
page = page.replace(/\{\{(?:[rR]eview|[bB]reaking review|[rR]eady|[uU]nder review)(?:\|[^}]*)?\}\}/, tasks_template); //replace {{tl|review}} with tasks
page = page.replace(/\{\{(?:[rR]eview|[bB]reaking review|[rR]eady|[uU]nder review)(?:\|[^}]*)?\}\}(?:\n)?/g, ""); //if multiple review templates
if (page.indexOf(tasks_template) === -1) {
Ligne 307 :
}
page = page.replace(/\{\{[dD]ate\|[^}]*\}\}/, "\{\{date|\{\{subst:#time:F j, Y}}}}");
page = page.replace(/\{\{
page = page.replace(/\{\{(?:[
page = page.replace(/\{\{[dD]evelop(?:ing)?(?:\|[^}]*)?\}\}(?:\n)?/g, ""); //rm {{tl|develop}}
//Add {{tl|publish}} (code slightly inelegant)
var src = /\*\{\{(?:[sS]ource(-pr|-science)?|[aA]pasource|[pP]apersource|[oO]rsource|[sS]ourceReg)\|[^}]*\}\}/gm;
var endOfSrc = page.length;
while (src.exec(page) !== null) {endOfSrc = src.lastIndex;}
| |||