Plugin does not recognize media files with same name but different date / size / content

[ABenCoding]

Here is the scenario in which the plugin fails:

wiki1: Upload media file test.txt in the root namespace
wiki2: sync with wiki1 -> copy the test.txt file from wiki1 to wiki2
wiki1: Now download the test.txt file from wiki1. Add a few lines, save it and upload it again by overwriting the original test.txt file on wiki1
wiki2: sync with wiki1 -> the plugin does not detect the changes

[splitbrain]

This is a problem caused by a bug in core DokuWiki code. A fix is available in the current devel version (See http://github.com/splitbrain/dokuwiki/commit/dfd343c40d85231f23176cfc6683eaccc0580a6d). It has to be fixed in both - the remote and the local wiki.