Class Wiki_widgets.​dynamic_wikibox

class dynamic_wikibox : 
Widget.widget_with_error_box -> User_widgets.user_widget_class ->
(object Inherits Lists not enabled in this syntaxEdition of the permissions of a wikibox<<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_wikibox_perm_form"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_edit_wikibox_perm_form>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'e.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_delimiter"| ( >>[> `Form | `P | `PCDATA | `Table ] as 'e<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<div class="odocwiki_info"|~As usual~, the function supposes that the user has enough rights to change the permissions~, as this will be checked by the service ~(and the user should not have access to the page otherwise~)~. ~We also suppose that boxrights is set to true for the wiki >> <<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_wiki_metadata"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_edit_wiki_metadata>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|D>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\    <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<div class="odocwiki_info"|~Form to edit the description and container of a wiki >> <<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_wiki_option_form"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_edit_wiki_option_form>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| options: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| perms: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\    <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_wiki_perm_form"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_edit_wiki_perm_form>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'f.\\     <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_delimiter"| ( >>[> `H2 | `P | `Table ] as 'f<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<div class="odocwiki_info"|~Form for the permissions of a wiki~; ~The <<span class="odocwiki_inlinecode"|wb>> argument is the wikibox which will be overridden with an error message if the save fails >> <<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_box_aux"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_box_aux>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| ?title: >>string <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|wrap>>\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?active_item: >><<a_api text="Wiki_widgets_interface.menu_item" | type Wiki_widgets_interface.menu_item >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtoken>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_wikitext"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_wikitext>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_wikibox_perms"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_wikibox_perms>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_css_perms"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_css_perms>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_wiki_options"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_wiki_options>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_wikitext_history"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_wikitext_history>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_css_history"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_css_history>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_wikipage_properties"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_wikipage_properties>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wikipage" | type Wiki_types.wikipage >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_view"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_view>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_old_wikitext"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_old_wikitext>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    int32 <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_old_css"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_old_css>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_src_wikitext"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_src_wikitext>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    int32 <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_css"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_css>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODmenu_edit_css_list"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|menu_edit_css_list>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODcss_wikibox_text"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|css_wikibox_text>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|string option <<span class="ocsforge_color_delimiter"| -> >> string>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikitext_history"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikitext_history>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'g 'h.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     < author : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|int32_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     comment : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|string_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     datetime : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|timestamp_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     version : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|int32_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>> >\\     list <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_delimiter"| ( >>[> `A of [> `PCDATA ] as 'h | `Br | `Em | `PCDATA ] as 'g<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_css_history"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_css_history>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'i 'j.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| wbcss: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| wikipage: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\     < author : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|int32_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     comment : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|string_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     datetime : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|timestamp_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>;\\     version : < get : unit; nul : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|non_nullable>>;\\     t : <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|int32_t>> >\\     <<span class="ocsforge_color_uid"|Sql>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>> >\\     list <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_delimiter"| ( >>[> `A of [> `PCDATA ] as 'j | `Br | `Em | `PCDATA ] as 'i<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_wikipage_properties"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_edit_wikipage_properties>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wikipage" | type Wiki_types.wikipage >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\    <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_edit_css_list"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_edit_css_list>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| classes: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtokens>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|wrap>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> * string option <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\     <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\    <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_interactive_wikibox_aux"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_interactive_wikibox_aux>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'k.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?classes: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtoken>> list <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?rows: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?cols: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div>> ] as 'k<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list *\\     bool<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_overriden_interactive_wikibox"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_overriden_interactive_wikibox>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'l.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?rows: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?cols: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| wb_loc: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| override: >><<a_api text="Wiki_widgets_interface.wikibox_override" | type Wiki_widgets_interface.wikibox_override >> <<span class="ocsforge_color_delimiter"| -> >>\\     unit <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_delimiter"| ( >>[> `Div | `P ] as 'l<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list * bool<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_interactive_wikibox"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_interactive_wikibox>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'm.\\     <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?classes: >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtoken>> list <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?rows: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?cols: >>int <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| ?special_box: >><<a_api text="Wiki_widgets_interface.special_box" | type Wiki_widgets_interface.special_box >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >>[> `Div ] as 'm<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODcss_header"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|css_header>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'n.\\     <<span class="ocsforge_color_label"| ?page: >><<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|uri>> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_uid"|Wiki_self_services>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Servpages>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|key>> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|link>> ] as 'n<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_container"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_container>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'o.\\     <<span class="ocsforge_color_label"| wiki: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| menu_style: >><<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| page: >><<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|uri>> * <<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|path>> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| gen_box: >><<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> option *\\     <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'o<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list *\\     <<a_api text="Wiki_widgets_interface.page_displayable" | type Wiki_widgets_interface.page_displayable >> *\\     string option<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>><<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|html>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> * int<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikipage_wikibox"|<<span class="ocsforge_color_keyword"|method>> <<span class="ocsforge_color_keyword"|private>> <<span class="odocwiki_name"|display_wikipage_wikibox>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| wiki: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| page: >><<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|uri>> * <<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|path>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| ?subbox: >><<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list option\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>><<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_delimiter"| -> >>\\    unit <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\     <<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\     <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> option *\\     _[< `A of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_interactive>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_interactive>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_interactive>> ]\\     | `Abbr\\     | `Address\\     | `Article\\     | `Aside\\     | `Audio of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ]\\     | `Audio_interactive of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ]\\     | `B\\     | `Bdo\\     | `Blockquote\\     | `Br\\     | `Button\\     | `Canvas of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Cite\\     | `Code\\     | `Command\\     | `Datalist\\     | `Del of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Details\\     | `Dfn\\     | `Div\\     | `Dl\\     | `Em\\     | `Embed\\     | `Fieldset\\     | `Figure\\     | `Footer\\     | `Form\\     | `H1\\     | `H2\\     | `H3\\     | `H4\\     | `H5\\     | `H6\\     | `Header\\     | `Hgroup\\     | `Hr\\     | `I\\     | `Iframe\\     | `Img\\     | `Img_interactive\\     | `Input\\     | `Ins of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Kbd\\     | `Keygen\\     | `Label\\     | `Map of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Mark\\     | `Menu\\     | `Meter\\     | `Nav\\     | `Noscript of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_noscript>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_noscript>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_noscript>> ]\\     | `Object of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Object_interactive of <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>>\\     | `Ol\\     | `Output\\     | `P\\     | `PCDATA\\     | `Pre\\     | `Progress\\     | `Q\\     | `Ruby\\     | `Samp\\     | `Script\\     | `Section\\     | `Select\\     | `Small\\     | `Span\\     | `Strong\\     | `Style\\     | `Sub\\     | `Sup\\     | `Svg\\     | `Table\\     | `Textarea\\     | `Time\\     | `U\\     | `Ul\\     | `Var\\     | `Video of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ]\\     | `Video_interactive of\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ] &\\     _[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5_without_media>> ]\\     | `Wbr\\     > `Div `Form `P ]\\     <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list *\\     <<a_api text="Wiki_widgets_interface.page_displayable" | type Wiki_widgets_interface.page_displayable >> * string option<<span class="ocsforge_color_delimiter"| ) >>\\     <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>><<span class="ocsforge_color_delimiter"| ) >>\\    <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikipage"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikipage>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| wiki: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| menu_style: >><<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| page: >><<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|uri>> * <<span class="ocsforge_color_uid"|Eliom_lib>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Url>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|path>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|html>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> * int<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikifile"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikifile>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| wiki: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| menu_style: >><<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| template: >>string <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| file: >><<span class="ocsforge_color_uid"|Ocsigen_local_files>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|resolved>> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|html>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> * int<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikibox"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikibox>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| wiki: >><<a_api text="Wiki_types.wiki" | type Wiki_types.wiki >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| sectioning: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| menu_style: >><<a_api text="Wiki_widgets_interface.menu_style" | type Wiki_widgets_interface.menu_style >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| template: >>string <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\    <<span class="ocsforge_color_delimiter"| ( >><<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|html>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> * int<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_all_wikis"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_all_wikis>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    <<span class="ocsforge_color_label"| deleted: >>bool <<span class="ocsforge_color_delimiter"| -> >>\\    unit <<span class="ocsforge_color_delimiter"| -> >> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>>end:object ... end)

Displaying of a wikibox with viewing and/or editing rights. Takes as argument all the services needed to save modifications or navigate through viewing options Inherits


val wikibox_class : Html5_types.nmtoken
val interactive_class : Html5_types.nmtoken
val view_class : Html5_types.nmtoken
val editform_class : Html5_types.nmtoken
val history_class : Html5_types.nmtoken
val css_history_class : Html5_types.nmtoken
val oldwikibox_class : Html5_types.nmtoken
val srcwikibox_class : Html5_types.nmtoken
val box_title_class : Html5_types.nmtoken
val preview_class : string
val css_class : Html5_types.nmtoken
val wikipage_properties_class : Html5_types.nmtoken
method private box_menu : 
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
?active_item:Wiki_widgets_interface.menu_item ->
?title:string Eliom_content.Html5.F.wrap Eliom_content.Html5.F.wrap ->
Wiki_types.wikibox ->
(_[< Html5_types.div_content_fun > `Div ] as 'p) Eliom_content.Html5.F.elt
list Lwt.t
method display_menu_box : 
'q.
bi:Wiki_widgets_interface.box_info ->
classes:Html5_types.nmtoken list ->
?active_item:Wiki_widgets_interface.menu_item ->
?special_box:Wiki_widgets_interface.special_box ->
?title:string Eliom_content.Html5.F.wrap Eliom_content.Html5.F.wrap ->
wb:Wiki_types.wikibox ->
([< Html5_types.div_content_fun > `Div ] as 'q)
Eliom_content.Html5.F.elt list ->
'q Eliom_content.Html5.F.elt list Lwt.t
method draw_edit_form : 
page:Wiki_types.wiki * string list option ->
rows:int ->
cols:int ->
Wiki_types.wikibox ->
Html5_types.phrasing Eliom_content.Html5.F.elt list ->
Html5_types.phrasing Eliom_content.Html5.D.elt list ->
Int32.t ->
string ->
bool ->
[ `One of string ] Eliom_parameter.param_name *
(([ `One of Wiki_types.wiki ] Eliom_parameter.param_name *
([ `One of unit ] Eliom_parameter.param_name *
[ `One of string ] Eliom_parameter.param_name Eliom_parameter.listnames)) *
(([ `One of Wiki_types.wikibox ] Eliom_parameter.param_name *
[ `One of int32 ] Eliom_parameter.param_name) *
[ `One of string ] Eliom_parameter.param_name)) ->
Html5_types.form_content Eliom_content.Html5.D.elt list
method display_wikitext_edit_form : 
'r.
bi:Wiki_widgets_interface.box_info ->
classes:Wiki_widgets_interface.classes ->
?rows:int ->
?cols:int ->
previewonly:bool ->
wb:Wiki_types.wikibox ->
string option * Int32.t ->
(Wiki_widgets_interface.classes *
([> Html5_types.form ] as 'r) Eliom_content.Html5.F.elt)
Lwt.t
method display_wikitext_edit_form_help : 
's.
bi:Wiki_widgets_interface.box_info ->
classes:Wiki_widgets_interface.classes ->
?rows:int ->
?cols:int ->
previewonly:bool ->
wb:Wiki_types.wikibox ->
string option * Int32.t ->
(Wiki_widgets_interface.classes *
([> `Div | `Form ] as 's) Eliom_content.Html5.F.elt list)
Lwt.t
method display_css_edit_form : 
't.
bi:Wiki_widgets_interface.box_info ->
classes:Wiki_widgets_interface.classes ->
?rows:int ->
?cols:int ->
wb:Wiki_types.wikibox ->
wbcss:Wiki_types.wikibox ->
wikipage:Wiki_types.wiki * string option ->
string option * Int32.t ->