Warning: Reason support is experimental. We are looking for beta-tester and contributors.

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
val hidden_page_inputs : 
  'a Opaque.int32_t * string list option ->
  [< 'a Opaque.int32_t Eliom_parameter.setoneradio ]
  Eliom_parameter.param_name *
  ([< unit Eliom_parameter.setoneradio ] Eliom_parameter.param_name *
   [< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name
   Eliom_parameter.listnames) ->
  [> Html5_types.input ] Eliom_content.Html5.F.elt 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