This is a temporary fix to a PHP 7 incompatibility issue of the "markdowku" plugin, but not the official repository of this project. The project's homepage is at https://www.dokuwiki.org/plugin:markdowku.