Update dokuwiki

Thom Wiggers
2017-05-01T11:39:47+02:00

A new version of Dokuwiki has been released.