To replicate:
- Go to https://www.mediawiki.org/wiki/Random_page
- Type "#whatever" in the search bar, whereever that's located in your skin
- Press enter or click the "search" icon
- See that you're redirected to https://www.mediawiki.org/wiki/MediaWiki#whatever
Expected result: The search result page displays. That is, I'd have been shown real search results if I'd opened https://www.mediawiki.org/wiki/Special:Search and typed #whatever in the input on said special page. The very same should be displayed when searching through the search bar that comes with the skin.
Original task description
I wanted to search for some IRC channel on mediawiki.org and noticed that I was unable to search for it, or any other string starting with a #. I thought it might be a skin issue, so I changed from my default (Timeless) to Vector, but it also appeared there.
Typing #foo in the search bar (top-right on every page in Vector) will just redirect me to [[MediaWiki#Foo]], no matter which page I was on before.
Now the interesting part is, when I type in bar it naturally searches for bar and the search result page appears, which has another input for keywords on it's top (prefilled with bar now). If I take that input box and type #foo there, it'll actually show me search results for foo. Still, those seem to ignore the #: Testing with #wikimedia-operations and looking for some search result that actually is about the irc channel, the search result boldens only the wikimedia-operations part of the search result, not boldening the #.
I don't know if that's the same or a different issue, but even if I type #wikimedia-operations in the "Exactly this text" field, it still matches "Wikimedia Operations", which is not "exactly this text": It's missing a hash, and it's having a space where i searched for a dash.
