wp_header_form form args
Returns a header for WimpyPoint.
Source code:
return [wp_header_intl $form $args]