📄 html.php
字号:
<?php// $Id: Html.php,v 1.1 2005/01/31 15:46:52 pmjones Exp $/*** * This class implements a Text_Wiki_Parse to find source text marked as* HTML to be redndred as-is. The block start is marked by <html> on its* own line, and the block end is marked by </html> on its own line.** @author Paul M. Jones <pmjones@ciaweb.net>** @package Text_Wiki**/class Text_Wiki_Parse_Html extends Text_Wiki_Parse { /** * * The regular expression used to parse the source text and find * matches conforming to this rule. Used by the parse() method. * * @access public * * @var string * * @see parse() * */ var $regex = '/^\<html\>\n(.+)\n\<\/html\>(\s|$)/Umsi'; /** * * Generates a replacement for the matched text. Token options are: * * 'text' => The text of the HTML to be rendered as-is. * * @access public * * @param array &$matches The array of matches from parse(). * * @return A delimited token to be used as a placeholder in * the source text, plus any text following the HTML block. * */ function process(&$matches) { $options = array('text' => $matches[1]); return $this->wiki->addToken($this->rule, $options) . $matches[2]; }}?>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -