[Phpwiki-talk] Patch for "rename" button for admin

[Dan F. <dfr...@cs...>]

wikilens.org has too many pages to be able to display on the admin page 
for renaming (it just errors out, even with 32M of memory). Thus, I 
added a "rename" button to an individual page for admin. I attach the 
patch just to be friendly in hopes you can use it.

Unfortunately, this is from our forked 1.3.9, so it may have drifted out 
of sync.

Eventually, I'd like to a) be able to pass out admin privs to multiple 
users to rename, b) allow everyone to rename in a non-destructive way (a 
la Wikipedia). These are in the distant future for me, tho.

Dan