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"
The following 2 pages are in this category, out of 2 total.
