When a page is moved, the new title for the page is added to the watchlist. But the wl_notificationtimestamp field is not copied from the old title to the new, meaning that edits from before the move are not highlighted on the history page and such.
The relevant code appears to be WatchedItem::doDuplicateEntries; simply adding the field to the select and then to the $values array should do it.
Version: 1.25-git
Severity: normal