htmldump.tmpl
来自「PhpWiki是sourceforge的一个开源项目」· TMPL 代码 · 共 43 行
TMPL
43 行
<?php // -*-html-*-rcs_id('$Id: htmldump.tmpl,v 1.2 2004/06/18 08:40:39 rurban Exp $');/* * This template is used only for html file dumps, and is responsible * mainly for the outer level <html> stuff and the and <head>. */printf("<?xml version=\"1.0\" encoding=\"%s\"?>\n", CHARSET);?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=<?=CHARSET?>" /><?php /** * Additional navigation links are provided here in the html header for browsers * which support them: Mozilla, iCab, Amaya (and certain versions of Opera??). * * See http://www.w3.org/TR/html401/struct/links.html#edef-LINK * http://www.euronet.nl/~tekelenb/WWW/LINK/index.html */ ?><link rel="home" title="<?=HOME_PAGE?>" href="<?=WikiURL(HOME_PAGE)?>" /><link rel="help" title="<?=_("HowToUseWiki")?>" href="<?=WikiURL(_("HowToUseWiki"))?>" /><link rel="copyright" title="<?=COPYRIGHTPAGE_TITLE?>" href="<?=COPYRIGHTPAGE_URL?>" /><link rel="author" title="<?=AUTHORPAGE_TITLE?>" href="<?=AUTHORPAGE_URL?>" /><?= $WikiTheme->getCSS() ?><?php // avoid redundant bookmark title for custom home page if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME) $pagetitle = ""; else $pagetitle = " - ". AsString($TITLE);?><title><?=WIKI_NAME.$pagetitle?></title></head><?= Template('body') ?><?phpif (defined('DEBUG') and DEBUG) { printf("<!-- phpwiki source: \n%s-->\n", $RCS_IDS); }?></html>
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?