Correct PHPDoc comment of DokuWiki_Plugin::locale_xhtml()