wiki_edit.pl -- Edit PlDoc wiki pages

edit_button(+Location)//[multifile]

Present a button for editing the web-page