Timestamp plugin for Dokuwiki