compatibility release for DokuWiki 2013-12-08