Rewrite of the tree manager

This rewrite drops all dependencies on jQuery for the tree manager and
uses modern JavaScript for the drag'n'drop operations. It introduces the
posibility to view the tre

Rewrite of the tree manager

This rewrite drops all dependencies on jQuery for the tree manager and
uses modern JavaScript for the drag'n'drop operations. It introduces the
posibility to view the tree as a merged tree of page and media
namespaces (similar to what we do in the ACL manager). This merged view
is often advantageous in wikis where both trees are very similar. A
default view can be set in the configuration but users can switch
between the views on a case by case basis.

This does not change any functionality in any of the other scripts or in
the way how the move is executed. It's a GUI refresh only.

Other parts of the plugin could use a GUI refresh as well (eg. use the
same SVG based icons and drop jQuery dependencies).

show more ...

Remove space character from configuration key

feat: Add config to toggle pagetools integration

Having a hard-coded list of templates where the integration happens is
cumbersome, because it requires a pull-request for every new template and
it i

feat: Add config to toggle pagetools integration

Having a hard-coded list of templates where the integration happens is
cumbersome, because it requires a pull-request for every new template and
it is somehow the wrong order because the templates should have the
option to create special handling for specific plugins, however plugins
should not have special handling for specific templates.

show more ...

no need for conf setting

adding ability to let managers view tree-based move manager

allow renaming of pages for certain groups only

also adds a tpl function for easier integration

allow link adjustments to be minor

make automatic link rewriting configurable

added missing files for the config option

added config option autoskip default