two extra '; are invalid php, also the translation tool does not accept thishttps://github.com/dokufreaks/dokuwiki-translation/issues/109
remove language strings for htmlok and phpok optionsThese options have been removed in bbe6b3a78bfaae7c3435ed2f909108be642b4684
translation update