Delete

I don't think this is needed now that Mediawiki:Edittools contains a shortcut for this.
Curiouscrab (talk | contribs) 02:14, 18 August 2013 (UTC)

Maybe, but i don't think it's harmful either.
Scimonster (talk | contribs) 05:51, 18 August 2013 (UTC)