MediaWiki Diskussion:Gadget-EnhancedUndelete.js
Obsolete Bearbeiten
This gadget became unnecessary because its functionality was incorpored to MediaWiki (see bugzilla:29443, rev:90359 and rev:90587). I suggest deleting/removing it from MediaWiki:Gadgets-definition. Helder 16:33, 19. Aug. 2012 (MESZ)