Thread:Project:Support desk/bug in mediawiki search