SearchExtraNS-Extension

Donwload from mediawiki/trunk/extensions.