Copy wl_notificationtimestamp when copying watchlist entries on move
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 10 Nov 2014 17:01:28 +0000 (12:01 -0500)
committerUmherirrender <umherirrender_de.wp@web.de>
Mon, 10 Nov 2014 18:21:17 +0000 (18:21 +0000)
commit8ff5c74bdca30cdc536ec0eab0d2a9c560171922
tree362abe19efc26b5b31a82bda90c726fde1ed5cb3
parentad411658aeb451b09ae721e30511982f6b0c392f
Copy wl_notificationtimestamp when copying watchlist entries on move

When a page is moved, the new title is automatically added to the
watchlists of every user watching the old title. But we also need to
copy the wl_notificationtimestamp over, otherwise edits from before the
move aren't highlighted in the page history and such.

Bug: 73219
Change-Id: I657475c28944539daec14f838d3af4c2962a4b93
includes/WatchedItem.php