Changes between Initial Version and Version 16 of Ticket #4412

Timestamp:

Mar 31, 2012, 1:14:58 PM (12 years ago)

Author:

Christian Boos

Comment:

Note that for integrating the copy operation into this interface, we could replace:

[ ] Leave a redirection page at the old location

with:

 ,- Operation ----------------------------------------------------------------------
 | ( ) copy  (the old location is left unchanged) 
 | ( ) move  (no page left at the old location)
 | ( ) move and create redirect page (leave a redirection page at the old location)
 |     |See $NEWPAGE_____| (content of the redirect page)