*title.inc.php [#sf519d01] #contents **どのようなプラグインか? [#of40ff93] HTMLのTITLEを変更する。 ページのタイトル(HTMLのTITLE)を変更する。ページ名とは別のタイトルを付けたい時に使用する。 HTMLのTITLEは通常、「(ページ名) - (Wiki名)」となるが、これを「(titleプラグインで指定した文字列) - (Wiki名)」にする。 PukiWikiの場合、ページのタイトルは「(ページ名) - (Wiki名)」となり、ページ名とは別のタイトルを付けることができない。このプラグインを使えば、ページ名とは別のタイトルを付けることができるようになり、ページのタイトルは「(titleプラグインで指定した文字列) - (Wiki名)」となる。 **書式 [#x6a66899] #title(タイトル) :タイトル|HTMLのTITLEにしたい文字列。 **使い方 [#e6dd9ffb] [[./titleプラグインのテスト]]ページで、 #title(titleプラグインのテスト) と記述しています。 記述する場所は、そのページであればどこでもかまいません。 **注意 [#jcc60dd1] PukiWikiのスキンによっては動作しない可能性もあります。 PukiWikiのスキンはデフォルトで <title><?php echo $title ?> - <?php echo $page_title ?></title> のようにしてタイトルを設定しています。このプラグインは「$title」の値を変更しているだけですので、スキンが書き換えられていてタイトルに「$title」が使用されていなかったり、「$title」の値が途中で変更されてしまった場合はうまくいきません。 **ダウンロード [#edb208b1] ソースコードを以下に貼り付けておきます。「title.inc.php」という名前のファイルに、適当な文字コード(大抵はEUC)で保存してください。 #pre{{ #code(php){{ <?php // $Id: title.inc.php,v 1.0 2006/04/07 12:00:00 DOBON Exp $ // $Id: title.inc.php,v 1.0 2006/04/07 12:00:00 DOBON! Exp $ // // title plugin // // http://dobon.net/ define('PLUGIN_WARP_USAGE', '#title(page_title)'); define('PLUGIN_TITLE_USAGE', '#title(page_title)'); function plugin_title_convert() { global $title; if (func_num_args() != 1) return PLUGIN_WARP_USAGE; if (func_num_args() != 1) return PLUGIN_TITLE_USAGE; $args = func_get_args(); $title = htmlspecialchars($args[0]); return ""; } ?> }} **ライセンス [#s65c66f6] GPL **コメント [#u1b89d7f] #comment #pageinfo([[:Category/PukiWiki]],2010-03-19 (金) 00:48:40,DOBON!,2010-03-19 (金) 00:50:08,DOBON!) #pageinfo([[:Category/PukiWiki]],2010-03-19 (金) 00:48:40,DOBON!,2011-09-11 (日) 01:30:46,DOBON!) |