//La revisión de MediaWiki incluye esto de forma interna haciendo inecesario este sistema vía JavaScript. Solicitado en ]
//De ] <pre><nowiki>
function agrega_enlaces_de_editar_revision()
{
var as = document.getElementsByTagName("a");
for (var i=0; i<as.length; i++)
{
var a=as.item(i);
if (a.href.match(/^http:\/\/es\.wikipedia\.org\/w\/index\.php\?title=.*oldid=\d+/))
{
var inner=a.innerHTML;
if (inner.match(/^Revisión de /))
{
a.parentNode.innerHTML += " <a href=\"" + a.href + "&action=edit\"><i style=\"text-decoration: none;\"><font size=\"+1\">ε</font></i></a>";
}
}
}
}
if (window.addEventListener) window.addEventListener("load",agrega_enlaces_de_editar_revision,false);
else if (window.attachEvent) window.attachEvent("onload",agrega_enlaces_de_editar_revision);
/* </nowiki></pre> */