[Wikitech-l] Special:Undelete title search

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Originally, the Special:Undelete front page listed every page in the deleted page archive. Pretty quickly that became _too big_ to list for Wikipedia, and we hackily disabled it, with a pointer to the deletion log. But the original code stayed, and a default MediaWiki still tries to show everything. That's potentially a lot... especially after an upgrade to 1.9 which deletes a thousand-plus MediaWiki:foo pages! In my ongoing effort to merge or otherwise rid all our live code hacks, I've patched up Special:Undelete a bit. Instead of the full list or the hacked-in hardcoded message, the pointer to the deletion log is now localizable/customizable. Additionally, there's a search field: type in a page title or title prefix, and it'll list out (up to 100) matching titles. It's a simple prefix match, but should still be pretty handy. This change is live as of some minutes ago. - -- brion vibber (brion @ pobox.com / brion @ wikimedia.org)