MediaWiki:Common.js/Special:MovePage

/* this is just a quick and dirty script. makes a list of double redir on a move page (on MediaWiki:Movepage-moved messaage)

caveats
// /*
 * only supports one level of double redirects - triple redirect won't work
 * might break if title contains /

move comment page automatically
Hopefully this will work mostly. Can be disabled by setting var doNotAutoMoveComments = true; in special:mypage/vector.js