Gerrit Uitslag

Looking to this tracker and the code, i see there are promising improvements in this repository which are not available in the PPA. Probably your are quite busy, but do...

It is only used for ajax requests, thus adding this to the $.Autocompleter.defaults is fine, isn't it? ``` $.Autocompleter.defaults = { ... dataType: 'html', ... } ```

If you edit these pages once, is it then possible to successfully delete them with this plugin?

This PR contains also a few others. The isset is not included there yet, maybe that PR can be updated too? https://github.com/leafo/lessphp/pull/657

Which versions of the plugin and DokuWiki do you have? Can you reproduce it on https://wysiwyg.wiki.cosmocode.de/doku.php?id=en:playground:start ? Does it happen on each page? Are there other plugins that influence it?...

Because everybody has not more than 24 hours a day ;-) You are welcome to open a pull request to improve this situation. Alternative is to hire someone who helps...

False-positive are possible, in case people use an manually typed number at the start of the heading, especially if you do not use the plugin. I think the unexpected effects...

You can use `plugin_isdisabled('pluginbasename')`. See for more info https://www.dokuwiki.org/devel:common_plugin_functions#load_other_plugins

@splitbrain Is this actually something that should be implemented via the Numbered heading plugin? Looking at the gallery plugin implementing does not yet look obvious..

Using `@username:` instead `@username` has same issue: The next talk in the channel: 02:16 < Klap-innnn> @Klap-in: test 02:16 < Klap-innnn> @Klap-in test results in respectively: 02:16 Couldn't store your...