Category:Page renaming extensions

From mediawiki.org

The Page renaming extensions category contains articles on extensions that manage the rights to rename and the actual renaming of pages.

Pages in category "Page renaming extensions"

This category contains only the following page.