Help:Renaming Pages

Introduction
Renaming or moving a page is the process of changing the title (and url) of a page using the MediaWiki functionality, rather than manually copy-pasting its content. It may be done for different reasons:


 * The page is not properly named.
 * The page is involved in a name conflict.

Renaming a page is a user right reserved for trusted users, because of the destructive consequences it can have when not done properly. To request a new name, add the rename template at the top of the page. You can add additional explanation on the corresponding talk page. If there is a consensus about whether and how the page should be renamed, a trusted user can do the job.

Choose a new name
When choosing a new name, also try to avoid possible future name conflicts by thinking of what other definitions and theorems with a similar name exist.

Fix links
Take care to update any links to the old page (which can be viewed using the "What links here" option in the menu) to the new page. If this is an involved and long-winded task, an appropriate invocation of Template:WIP may be added to the page to signify the task is still unfinished.

Decide whether to keep the redirect
When all links have been redirected, one should decide whether or not to keep the old page as a redirect. If the old page name was not specific enough and is simply unclear, it is probably not a good idea to keep it. It the renaming was in favor of a disambiguation, the old page may be a good candidate for the disambiguation page. If not, it may be used as a redirect to it.

Also see

 * Help:Page Naming
 * Help:Name Conflict