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.

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