MediaWiki - Hidden namespaces patch

Sweet!

I tested it and it seems to work for me as well. I'll include it in the
upcoming patch for 1.13.4 when it is done.

I run into the same problem with 1.13.3.
As a workaround (I don't understand why this happens), I used the
following "patch" (sorry, I forgot to make a copy before I patched, so this
is created manually):

- $ns = $title->getNamespace();
+ if (is_object($title)) {
+ $ns = $title->getNamespace();
+ } else {
+ $ns = -1;
+ }

Tschoeeee
Roland

This bug is related to the actual performance of the patch. It might be
fixed if hiddenwiki is changed to an extension, but an imminent solution is
not expected.

This bug also causes the MW search suggestion function to fail.

Noted. I don't have time to look at it until August.