MediaWiki talk:Gadget-EnhancedUndelete.js
Latest comment: 9 years ago by Glaisher in topic Obsolete
Obsolete edit
{{edit protected}}
This gadget became unnecessary because its functionality was incorpored to MediaWiki (see bugzilla:29443, rev:90359 and rev:90587). I suggest removing it from MediaWiki:Gadgets-definition. Helder 13:54, 19 August 2012 (UTC)
Done. -- MarcoAurelio (talk) 13:59, 20 August 2012 (UTC)
@Helder.wiki: Can't we just simply delete this page now? What's the point in keeping it here? *shrugs* --Glaisher (talk) 17:14, 26 July 2014 (UTC)
- @Glaisher: It would be just to preserve its history (and maybe to help someone using a very old version of MediaWiki). Helder.wiki 17:56, 26 July 2014 (UTC)