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
|