splitbrain/dokuwiki-plugin-pluginrepo — pull request #13 by michitux (2012-05-11 15:53:26+00:00)
Title: Add PHP 5.4 support

This fixes the problem that DokuWiki with the repo plugin fails silently without any error message in PHP 5.4.