Discussion MediaWiki:Gadget-EnhancedUndelete.js
Obsolete
modificarThis 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 19 d'agost de 2012 a 14.36 (UTC)