I've updated to the last DokuWiki release 2013-12-08 aka “Binky”. If someone finds problems I would be glad if you inform me so that I can fix them.