Plugin: FixDoubleRedirects

Jump to bottom Edit New page

Dario Giovannetti edited this page Dec 19, 2017 · 2 revisions

This plugin fixes double redirects.

Configuration options and default values

enabled: true
special_menu: ["Fix double redirects"]
edit_summary: "fix double redirect" The edit summary that will be submitted when saving the page.