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

As we need to keep all core meta files anyway (the only core file that
had been deleted but shouldn't be deleted is the .indexed file) and
plugins can keep care of their own metadata files using the
IO_WIKIPAGE_WRITE event there is no reason for using the expensive
metaFiles() function during the deletion of pages.

the file is nearly empty now

yeah, yeah I know...

French localization for the link to the popularity page

jquerized

Make cookie path configurable

Added information about the autosubmitting feature of the popularity
plugin itself.

this interferred with copy'n'pasting error messages

Sometimes pages aren't deleted from the index (that should be fixed,
too) and appear in the backlinks although they don't exist anymore.
This change hides them and hidden pages that shouldn't appear at all as
the backlinks view is an automatic listing. Hidden pages had been hidden
before the transition to the metadata index, too.

tiny modification of striplangs.php's help