munduch/dokuwiki-highlight — pull request #1 by hh-lohmann (2014-02-17 12:12:07+00:00)
Title: For install / update under DokuWiki release Binky: plugin.info.txt instead of getInfo

++ What: Replacing "getInfo" in syntax.php by an plugin.info.txt
++ Why: DokuWiki relaese Binky runs into errors trying to install the plugin as "dokuwiki-highlight-master", a plugin.info.txt helps