<?phpclassText_Wiki_Render_Latex_ttextendsText_Wiki_Render{/** * * Renders a token into text matching the requested format. * * @access public * * @param array $options The "options" portion of the token (second * element). * * @return string The text rendered from the token options. * */functiontoken($options){if($options['type']=='start'){return'\texttt{';}if($options['type']=='end'){return'}';}}}?>