This adds support for the config_cascade when enabling/disabling plugins,
making farming easier.
The changes have been implemented by Piyush Mishra and are a part of the
new extension manager which will follow later. It's the result of a
Google Summer of Code project, the official project page can be found at
http://www.google-melange.com/gsoc/project/google/gsoc2011/piyushmishra/26001

Thanks to Piyush for the work and Google for sponsoring it!

Conflicts:
	inc/lang/en/lang.php

when saving plugin.local

Plugins with a disabled file will be treated as having an entry (=0) in
conf/plugins.default.php overridable by conf/plugins.local.php

Function get_plugin_components() moved to extantion manager

This introduces a new media manager and media revisions to DokuWiki. The
changes have been implemented by Kate Arzamastseva and are the
result of a Google Summer of Code project, the official project page can
be found at
http://www.google-melange.com/gsoc/project/google/gsoc2011/kate/18001

Thanks to Kate for the work and Google for sponsoring it!

This reverts commit ba6c070e.
This reverts commit 92351008.

Pulled the current jquery-cookie version from https://github.com/carhartl/jquery-cookie.

  * <sup> elements are only removed from the start of a footnote
  * the TOC wrapper instantly gets the target size to reduce layout jumping

Since 80997d21 the date passed to the
draft save backend is indeed the page id, not the date.

Fix permission and existence check for the recent changes

Before it was possible that changes for media files the user can't
access were shown if the user could access a page with the same name.
This also reverts the file existence check so it now really checks for
media changes that the media file exists and for page changes the page
and that not one of the two suffice for both.