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

• Wiki_widgets.frozen_wikibox

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 ->
  (Wiki_widgets_interface.classes *
   ([> Html5_types.form ] as 't) Eliom_content.Html5.F.elt list)
  Lwt.t

Edition of the permissions of a wikibox ¶

method display_edit_wikibox_perm_form : 
'u.
  bi:Wiki_widgets_interface.box_info ->
  classes:Wiki_widgets_interface.classes ->
  Wiki_types.wikibox ->
  (Wiki_widgets_interface.classes *
   ([> `Form | `P | `PCDATA | `Table ] as 'u) Eliom_content.Html5.F.elt
   list)
  Lwt.t

method private display_edit_wiki_metadata : 
classes:Wiki_widgets_interface.classes ->
?wb:Wiki_types.wikibox ->
Wiki_types.wiki ->
(Wiki_widgets_interface.classes *
 Html5_types.flow5 Eliom_content.Html5.D.elt list)
Lwt.t

method private display_edit_wiki_option_form : 
classes:Wiki_widgets_interface.classes ->
?wb:Wiki_types.wikibox ->
options:bool ->
perms:bool ->
Wiki_types.wiki ->
(Wiki_widgets_interface.classes *
 Html5_types.flow5 Eliom_content.Html5.F.elt list)
Lwt.t

method display_edit_wiki_perm_form : 
'v.
  classes:Wiki_widgets_interface.classes ->
  ?wb:Wiki_types.wikibox ->
  Wiki_types.wiki ->
  (Wiki_widgets_interface.classes *
   ([> `H2 | `P | `Table ] as 'v) Eliom_content.Html5.F.elt list)
  Lwt.t

method private menu_box_aux : 
?title:string Eliom_content.Html5.F.wrap Eliom_content.Html5.F.wrap ->
?active_item:Wiki_widgets_interface.menu_item ->
Html5_types.nmtoken ->
Wiki_types.wikibox ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_wikitext : 
Wiki_types.wikibox ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_wikibox_perms : 
Wiki_types.wikibox ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_css_perms : 
Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_wiki_options : 
Wiki_types.wikibox ->
Wiki_types.wiki ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_wikitext_history : 
Wiki_types.wikibox ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_css_history : 
Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_wikipage_properties : 
Wiki_types.wikibox ->
Wiki_types.wikipage ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_view : 
Wiki_types.wikibox ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_old_wikitext : 
Wiki_types.wikibox ->
int32 ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_old_css : 
Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_src_wikitext : 
Wiki_types.wikibox ->
int32 ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_css : 
Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private menu_edit_css_list : 
Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
bi:Wiki_widgets_interface.box_info ->
?special_box:Wiki_widgets_interface.special_box ->
Wiki_widgets_interface.classes *
Html5_types.flow5 Eliom_content.Html5.F.elt list ->
Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t

method private css_wikibox_text : string option -> string

method display_wikitext_history : 
'w 'x.
  bi:Wiki_widgets_interface.box_info ->
  classes:Wiki_widgets_interface.classes ->
  wb:Wiki_types.wikibox ->
  < author : < get : unit; nul : Sql.non_nullable; t : Sql.int32_t > Sql.t;
    comment : < get : unit; nul : Sql.non_nullable; t : Sql.string_t >
              Sql.t;
    datetime : < get : unit; nul : Sql.non_nullable; t : Sql.timestamp_t >
               Sql.t;
    version : < get : unit; nul : Sql.non_nullable; t : Sql.int32_t >
              Sql.t >
  list ->
  (Wiki_widgets_interface.classes *
   ([> `A of [> `PCDATA ] as 'x | `Br | `Em | `PCDATA ] as 'w)
   Eliom_content.Html5.F.elt list)
  Lwt.t

method display_css_history : 
'y 'z.
  bi:Wiki_widgets_interface.box_info ->
  classes:Wiki_widgets_interface.classes ->
  wb:Wiki_types.wikibox ->
  wbcss:Wiki_types.wikibox ->
  wikipage:Wiki_types.wiki * string option ->
  < author : < get : unit; nul : Sql.non_nullable; t : Sql.int32_t > Sql.t;
    comment : < get : unit; nul : Sql.non_nullable; t : Sql.string_t >
              Sql.t;
    datetime : < get : unit; nul : Sql.non_nullable; t : Sql.timestamp_t >
               Sql.t;
    version : < get : unit; nul : Sql.non_nullable; t : Sql.int32_t >
              Sql.t >
  list ->
  (Wiki_widgets_interface.classes *
   ([> `A of [> `PCDATA ] as 'z | `Br | `Em | `PCDATA ] as 'y)
   Eliom_content.Html5.F.elt list)
  Lwt.t

method private display_edit_wikipage_properties : 
bi:Wiki_widgets_interface.box_info ->
classes:Wiki_widgets_interface.classes ->
wb:Wiki_types.wikibox ->
Wiki_types.wikipage ->
(Wiki_widgets_interface.classes *
 Html5_types.flow5 Eliom_content.Html5.F.elt list)
Lwt.t

method private display_edit_css_list : 
bi:Wiki_widgets_interface.box_info ->
classes:Html5_types.nmtokens Eliom_content.Html5.F.wrap ->
wb:Wiki_types.wikibox ->
Wiki_types.wiki * string option ->
(Wiki_widgets_interface.classes *
 Html5_types.flow5 Eliom_content.Html5.F.elt list)
Lwt.t

method display_interactive_wikibox_aux : 
'a1.
  bi:Wiki_widgets_interface.box_info ->
  ?classes:Html5_types.nmtoken list ->
  ?rows:int ->
  ?cols:int ->
  ?special_box:Wiki_widgets_interface.special_box ->
  Wiki_types.wikibox ->
  (([> Html5_types.div ] as 'a1) Eliom_content.Html5.F.elt list * bool)
  Lwt.t

method display_overriden_interactive_wikibox : 
'b1.
  bi:Wiki_widgets_interface.box_info ->
  ?classes:Wiki_widgets_interface.classes ->
  ?rows:int ->
  ?cols:int ->
  ?special_box:Wiki_widgets_interface.special_box ->
  wb_loc:Wiki_types.wikibox ->
  override:Wiki_widgets_interface.wikibox_override ->
  unit ->
  (([> `Div | `P ] as 'b1) Eliom_content.Html5.F.elt list * bool) Lwt.t

method display_interactive_wikibox : 
'c1.
  bi:Wiki_widgets_interface.box_info ->
  ?classes:Html5_types.nmtoken list ->
  ?rows:int ->
  ?cols:int ->
  ?special_box:Wiki_widgets_interface.special_box ->
  Wiki_types.wikibox ->
  ([> `Div ] as 'c1) Eliom_content.Html5.F.elt list Lwt.t

method css_header : 
'd1.
  ?page:Eliom_lib.Url.uri ->
  Wiki_self_services.Servpages.key ->
  ([> Html5_types.link ] as 'd1) Eliom_content.Html5.F.elt list Lwt.t

method private display_container : 
'e1.
  wiki:Wiki_types.wiki ->
  sectioning:bool ->
  menu_style:Wiki_widgets_interface.menu_style ->
  page:Eliom_lib.Url.uri * Eliom_lib.Url.path ->
  gen_box:(sectioning:bool ->
           Wiki_widgets_interface.menu_style ->
           (Wiki_types.wikibox option *
            ([< Html5_types.flow5 ] as 'e1) Eliom_content.Html5.F.elt list *
            Wiki_widgets_interface.page_displayable * string option)
           Lwt.t) ->
  (Html5_types.html Eliom_content.Html5.F.elt * int) Lwt.t

method private display_wikipage_wikibox : 
wiki:Wiki_types.wiki ->
page:Eliom_lib.Url.uri * Eliom_lib.Url.path ->
?subbox:(Wiki_widgets_interface.box_info ->
         sectioning:bool ->
         Wiki_widgets_interface.menu_style ->
         Html5_types.flow5 Eliom_content.Html5.F.elt list option Lwt.t) ->
unit ->
(sectioning:bool ->
 Wiki_widgets_interface.menu_style ->
 (Wiki_types.wikibox option *
  (_[< `A of
         _[< Html5_types.flow5_without_interactive ] &
         _[< Html5_types.flow5_without_interactive ] &
         _[< Html5_types.flow5_without_interactive ]
     | `Abbr
     | `Address
     | `Article
     | `Aside
     | `Audio of
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ]
     | `Audio_interactive of
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ]
     | `B
     | `Bdo
     | `Blockquote
     | `Br
     | `Button
     | `Canvas of Html5_types.flow5
     | `Cite
     | `Code
     | `Command
     | `Datalist
     | `Del of Html5_types.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 Html5_types.flow5
     | `Kbd
     | `Keygen
     | `Label
     | `Map of Html5_types.flow5
     | `Mark
     | `Menu
     | `Meter
     | `Nav
     | `Noscript of
         _[< Html5_types.flow5_without_noscript ] &
         _[< Html5_types.flow5_without_noscript ] &
         _[< Html5_types.flow5_without_noscript ]
     | `Object of Html5_types.flow5
     | `Object_interactive of Html5_types.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
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ]
     | `Video_interactive of
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ] &
         _[< Html5_types.flow5_without_media ]
     | `Wbr
     > `Div `Form `P ]
   as 'f1)
  Eliom_content.Html5.F.elt list *
  Wiki_widgets_interface.page_displayable * string option)
 Lwt.t)
Lwt.t

method display_wikipage : 
wiki:Wiki_types.wiki ->
sectioning:bool ->
menu_style:Wiki_widgets_interface.menu_style ->
page:Eliom_lib.Url.uri * Eliom_lib.Url.path ->
(Html5_types.html Eliom_content.Html5.F.elt * int) Lwt.t

method display_wikifile : 
wiki:Wiki_types.wiki ->
sectioning:bool ->
menu_style:Wiki_widgets_interface.menu_style ->
template:string ->
file:Ocsigen_local_files.resolved ->
(Html5_types.html Eliom_content.Html5.F.elt * int) Lwt.t

method display_wikibox : 
wiki:Wiki_types.wiki ->
sectioning:bool ->
menu_style:Wiki_widgets_interface.menu_style ->
template:string ->
wb:Wiki_types.wikibox ->
(Html5_types.html Eliom_content.Html5.F.elt * int) Lwt.t

method display_all_wikis : 
deleted:bool ->
unit -> Html5_types.flow5 Eliom_content.Html5.F.elt list Lwt.t