Plugin plugin duplicated in repo table titles about dokuwiki-plugin-pluginrepo

[AntoineTurmel]

I'm for deleting the "plugin" after the name of plugin... it's obvious it's a plugin no ?

[HakanS]

Well I think something has changed, this header used to be composed from the "page name" and that shouldn't include the text plugin nor template. We shouldn't use the page header or any other user supplied information to avoid confusion and clashes between extension names.

[Klap-in]

Merged, so time to close this.