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

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>

The user was nameencoded twice.

This plugin converts existing filenames that were stored using the
option "safe" in fnencode from using the dot (.) as post_indicator to
using a bracket (]) as post_insdicator. It will also add a
post_indicator at the end of the file name should it be missing (Bug
FS#2122).

This plugin needs testing by people using the safe encode option!

Before this patch with a .htaccess file on a higher level in the
hierarchy with "Satisfy Any" it has been possible that the directory
protection didn't work as expected.

as discussed at
http://www.freelists.org/post/dokuwiki/tokenizer-cmd-in-indexer,1

Make interwiki links match with every other icon-link: need 1px top and bottom padding or else the icons' top and bottom pixel rows get cut off.

* code cleanup in lib/exe/css.php
* renamed 'default' userstyle to 'screen' in config_cascade
* splitted core lib/styles/style.css up into all.css, print.css and screen.css