When the search index is empty, there was a warning and no headings were
displayed. Now the headings are displayed and there is no warning
anymore.

The page lookup by title has been case insensitive before the indexer
rewrite, since then it has been case sensitive, this makes it case
insensitive again.

Before this change all pages of the given namespace have been included
in the result, now the search is restricted to the namespace again as it
was before the new indexer has been implemented.

If no HTML element with the id wiki__text exists, locktimer.init led to a
JavaScript error.

Metadata is rendered now in the indexer when it's cache is invalid.

This reverts commit 342e58c8.

The options code had already been fixed. My mistake.

We disabled the media options shortly before the last release because of
an unfixed bug. The disabling was not complete which caused problems
with templates not incorporating the needed CSS.
Since the option dialog hasn't been fixed yet, this patch also disables
the creation of the corresponding HTML to avoid the mentioned template
problems.

Signed-off-by: Guy Brand <gb@unistra.fr>

Signed-off-by: Guy Brand <gb@unistra.fr>

don't use form_makeTag() for blank.gif as empty attributes are not passed on (which resulted in a missing alt attribute)