title.inc.php †どのようなプラグインか? †HTMLのTITLEを変更する。 HTMLのTITLEは通常、「(ページ名) - (Wiki名)」となるが、これを「(titleプラグインで指定した文字列) - (Wiki名)」にする。 書式 †#title(タイトル)
使い方 †./titleプラグインのテストページで、 #title(titleプラグインのテスト) と記述しています。 注意 †PukiWikiのスキンによっては動作しない可能性もあります。 ダウンロード †ソースコードを以下に貼り付けておきます。「title.inc.php」という名前のファイルに、適当な文字コード(大抵はEUC)で保存してください。 <?php // $Id: title.inc.php,v 1.0 2006/04/07 12:00:00 DOBON Exp $ // // title plugin // // http://wiki.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 ""; } ?> ライセンス †GPL コメント †
|