This allows to treat empty parameters as default

This new wrapper ensures types are correct and accessed parameters are
actually set (with custom default fallbacks).

The wrapper is available in the global $INPUT variable. It accesses
$_REQUEST by default. If POST or GET is required, the post and get
members can be used:

$INPUT->int('foo',false); // access $_REQUEST['foo'], default false
$INPUT->post->int('foo'); // access $_POST['foo'], default 0
$INPUT->get->int('foo'); // access $_GET['foo'], default 0

The codebase still needs to be updated to make use of this.

Additional commit for closed Pull Request #100

Fix for FS#2522 / Now all places of $lang['restored'] are covered with the restored-date information

Formating of czech subscription emails

Revert "removed all browser-specific gradients as the recently (in 42ff6730) introduced svg makes them unnecessary"

This reverts commit dbd59867.

the new template allows to use a favicon in media/wiki/favicon.ico so we
should support uploading it as well.

This also fixes a problem wiht PHP 5.4 when there is metadata but the
date key is empty.

Fixes messages.txt's modification timestamp not being updated.

This bug occurs on systems where writing a zero-length string to an
empty file does not update the file's modification timestamp.

This leads to the messages.txt being downloaded almost endlessly, causing
long delays for logged-in users. Visitors are not affected, because the
messages.txt is only updated for logged-in users.