manager / Synchronize terms in de and de-informal

The refshow configuration option wasn't used as described anymore
already in the latest release and after the introduction of the media
usage index the parameter is also no longer relevant for internal
optimization. The only place where it was still used is the no longer
used search_references()-function which is removed here, too.

The refshow configuration option wasn't used as described anymore
already in the latest release and after the introduction of the media
usage index the parameter is also no longer relevant for internal
optimization. The only place where it was still used is the no longer
used search_references()-function which is removed here, too.

Ignore-this: ae15b9fe3c75847b9c413862a0a87ba9

darcs-hash:20090924182910-2a383-d1ded479c5c9461aa40d40baf2ea00f6e2450e8c.gz

Ignore-this: bf0e731014fc37f2ea8e6300a282310

darcs-hash:20090911131158-2a383-34dd53239fd0a0b0fe12e5ade14f9337395a8e62.gz

Ignore-this: 1454880f75d932f8f2c11c5ec3e1895f

darcs-hash:20090811184929-e81ea-ed76a9d92d0d6e4b2d9cf1d52cf6c5c247a2a7de.gz

Ignore-this: bfb0044138af78c5d3167be96474117a

darcs-hash:20090801221500-e81ea-e42759852fc30d6f27a9acb5d266c27d55bec210.gz

Ignore-this: eaef300682ea09c8f811039fe5bbb154

darcs-hash:20090407181304-2a383-1eb7ba9b3c1263e224f4238383946c69d32dd8f0.gz

Ignore-this: 654a8677c2e07728125e2dcf97144576

darcs-hash:20090128151347-25afe-8bb53cebb5ea8d519e9123526894db1c19203b1d.gz

darcs-hash:20080316212105-7ad00-da9db6e9ba2605cebccea4063b4d236088a32ee7.gz

This patch replaces the use of the date() function with the strftime()
function. The latter will respect a set locale and will use localized
strings for things like month names.

Because the format options for strftime differ from the ones used in date,
DokuWiki will rest the value of $conf['dformat'] if it contains an old
date format string (detected by missing % characters).

Plugins or templates using the $conf['dformat'] need to be updated.

darcs-hash:20080223124045-7ad00-6afb2b839afc58781463e25577e06adb675fff79.gz

With spell checkers available in all modern browsers, having a spell checker in
DokuWiki's core code is no longer necessary. This patch removes the spell
checking feature. It will be made available as optional plugin.

darcs-hash:20071123125840-7ad00-faf7aa4673421dbb3fad904ba5b46b4927a5176d.gz

darcs-hash:20071007191109-7ad00-80a395519238428c32d20b5d8b9738908c25da05.gz

darcs-hash:20070818222029-7ad00-490d6e1e53a9753c4951ee8a9a9882d3cbdcfdb0.gz

darcs-hash:20070624174148-7ad00-e091a6bf887838fd6237a6cfa8d34aba74682801.gz