Allow pages to be renamed fully. If the different title would cause
authorrich <rich>
Mon, 22 Nov 2004 11:07:32 +0000 (11:07 +0000)
committerrich <rich>
Mon, 22 Nov 2004 11:07:32 +0000 (11:07 +0000)
commit0d913c7fee349ac0d46a9f9ce31977b2e5c545af
tree84b2524a6ff01a278dc1c0db0f1e74706e72a2f4
parent776c197ba07773cffc77a52398946eb770638f72
Allow pages to be renamed fully.  If the different title would cause
a change in URL, then we create a new page and make the old page into
a redirect to the new page.  However there is a problem that this
doesn't work properly if you rename a page then rename it back to the
original - the code would need to be smarter to work out what to do in
this situation.

404 page no longer uses the user-defined stylesheet (fixes a problem
on the Merjis site, for instance).
conf/cocanwiki.conf
scripts/edit_page_title.ml [deleted file]
scripts/lib/cocanwiki_pages.ml
scripts/page.ml
scripts/rename_page.ml [new file with mode: 0644]
scripts/rename_page_form.ml [moved from scripts/edit_page_title_form.ml with 87% similarity]
templates/page.html
templates/page_404.html
templates/rename_page_form.html [moved from templates/edit_page_title_form.html with 60% similarity]