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

no edit summary
No edit summary
No edit summary
Line 132: Line 132:


function eraseButtons(){
function eraseButtons(){
         var rmEditButtons={'all'};
         var rmEditButtons=["all"];
//Remove the buttons the user doesn't want
//Remove the buttons the user doesn't want