Module Wiki_widgets
module Wiki_widgets : sig..end
Author(s): Vincent Balat, Boris Yakobowski
val preview_wikibox_content :
(Wiki_types.wikibox * string) option Eliom_reference.Volatile.eref
val grouped_by_media :
Wiki_types.css_wikibox list ->
(Wiki_types.media_type * Wiki_types.wikibox list) list
class wikibox_error_box : object..end
class wikibox_aux : Widget.widget_with_error_box -> (object <<pre class="ocsforge_color odocwiki_code"| <<span id="METHODdisplay_basic_box"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_basic_box>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'a 'b.\\ <<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_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> ] as 'b<<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_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div>> ] as 'a<<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>> <<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_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'c 'd.\\ <<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_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'c<<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_types.wikibox_content" | type Wiki_types.wikibox_content >> <<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"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'd<<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_raw_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_raw_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'a 'e.\\ <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\ 'a <<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_types.wikibox_content" | type Wiki_types.wikibox_content >> <<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"| ( >>[> `Em | `Pre ] 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>>>>>><<pre class="ocsforge_color odocwiki_code"| <<span id="METHODwrap_error"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|wrap_error>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\ 'f.\\ <<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"|div_content_fun>> > `Div ] 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"| -> >>\\ 'f <<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)
class frozen_wikibox : Widget.widget_with_error_box -> (object Inherits Lists not enabled in this syntax
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.
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
TODO Disable button
onload method with new window doesn't works with opera
This hack (for having opera works) needs a non-standard method :(
Edition of the permissions of a wikibox
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
Form to edit the description and container of a wiki
Form for the permissions of a wiki; The wb argument is the wikibox which will be overridden with an error message if the save fails
class phrasing_wikibox :
Widget.widget_with_error_box -> User_widgets.user_widget_class -> (object Inherits Lists not enabled in this syntax
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
TODO Disable button
onload method with new window doesn't works with opera
This hack (for having opera works) needs a non-standard method :(
Edition of the permissions of a wikibox
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
Form to edit the description and container of a wiki
Form for the permissions of a wiki; The wb argument is the wikibox which will be overridden with an error message if the save fails