*title.inc.php [#sf519d01] #contents **どのようなプラグインか? [#of40ff93] HTMLのTITLEを変更する。 HTMLのTITLEは通常、「(ページ名) - (Wiki名)」となるが、これを「(titleプラグインで指定した文字列) - (Wiki名)」にする。 **書式 [#x6a66899] #title(タイトル) :タイトル|HTMLのTITLEにしたい文字列。 **使い方 [#e6dd9ffb] [[./titleプラグインのテスト]]ページで、 #title(titleプラグインのテスト) と記述しています。 記述する場所は、そのページであればどこでもかまいません。 **注意 [#jcc60dd1] PukiWikiのスキンによっては動作しない可能性もあります。 **ダウンロード [#edb208b1] ソースコードを以下に貼り付けておきます。「title.inc.php」という名前のファイルに、適当な文字コード(大抵はEUC)で保存してください。 #pre{{ <?php // $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)'); function plugin_title_convert() { global $title; if (func_num_args() != 1) return PLUGIN_WARP_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!) |