Module User_ext

module User_ext : sig..end

Provides a function to register the wikicreole extensions for user management (i.e. login, logout, username). Author(s): Piero Furiesi, Jaap Boender, Vincent Balat


val (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t
val (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t
val register_user_extensions : User_widgets.user_widget_class -> unit

Registers the following wiki creole extensions

  • <<username>>
  • <<loginbox>>
  • <<logoutbutton>>
  • <<logoutlink>>