Author: stanley

Description:
After moving page, the description shown is: Page "oldtitle" moved to
"newtitle". Please add redirect=no (no redirection) to the "oldtitle" link,
since people sometimes want to go the oldtitle without redirection.

Version: unspecified
Severity: enhancement