title.inc.php

どのようなプラグインか?

HTMLのTITLEを変更する。

HTMLのTITLEは通常、「(ページ名) - (Wiki名)」となるが、これを「(titleプラグインで指定した文字列) - (Wiki名)」にする。

書式

#title(タイトル)
タイトル
HTMLの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://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

コメント



ページ情報
[ トップ ]   [ 新規 | 子ページ作成 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]