MediaWiki:Common.js/edit.js: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 321: Line 321:
}
}
allEditButtons = allEditButtons.getElementsByTagName('img');
allEditButtons = allEditButtons.getElementsByTagName('img');
//alert("Searching " + allEditButtons.length + " buttons for URL " + url);
alert("Searching " + allEditButtons.length + " buttons for URL " + url);
for (i = 0; i < allEditButtons.length; i++) {
for (i = 0; i < allEditButtons.length; i++) {
alert("Checking button src " + allEditButtons[i].src);
alert("Checking button src " + allEditButtons[i].src);