Brion Vibber wrote:
I just spend quite some time figuring out why a search on "IP" did not match a page, while I was sure I had a page on "IP Address ranges".
Read the FAQ please.
Thanks, but the FAQ did not contain any new information.
I'm still suggesting to change the text of MediaWiki:Nonefound for a default installation (I'm aware change it myself, and did so -- I just hope that such a small change will prevent more people for sleepless nights about this "feature" :-) ).
By the way, though I did not mention that in my original mail, I am highly interested in work-arounds in PHP, even at a significant performance cost. My wiki is running on a production server, and I can't change the setting (this MySQL feature seems very immature at the time).
Regards, Freek
PS: Thanks that you pointed me at FAQ though -- I didn't realize there was one. The mediawiki site is still rather confusing to me; I seem to often end up on meta.wikimedia.org, while that seem to contain a lot of outdated information; I suggested on a talk page to make a prominent link to www.mediawiki.org on meta.wikimedia.org, but that has not been done yet.