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

Making it more aesthetic, and consistent with the others bin/*php scripts

This fixes the hiding of the highlighting of the current section when
the mouse leaves the edit section button.