"New page" button for creating new pages interactively.
authorrich <rich>
Sun, 24 Oct 2004 17:32:54 +0000 (17:32 +0000)
committerrich <rich>
Sun, 24 Oct 2004 17:32:54 +0000 (17:32 +0000)
commitf281fd7b2ac035be5a15cc1519d395b4e383eb84
tree553e8890738507259791012eaa0bd399c6776752
parent3f0bcc30ff112dc38e882f4f08b8c37d693799ef
"New page" button for creating new pages interactively.
MANIFEST
html/_css/new_page.css [new file with mode: 0644]
html/_css/standard.css
html/_graphics/new.png [new file with mode: 0644]
html/_js/new_page.js [new file with mode: 0644]
scripts/.depend
scripts/lib/wikilib.ml
scripts/new_page_form.ml [new file with mode: 0644]
templates/new_page_form.html [new file with mode: 0644]
templates/page.html