DoboWiki

title.inc.php †

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

ページのタイトル（HTMLのTITLE）を変更する。ページ名とは別のタイトルを付けたい時に使用する。

PukiWikiの場合、ページのタイトルは「(ページ名) - (Wiki名)」となり、ページ名とは別のタイトルを付けることができない。このプラグインを使えば、ページ名とは別のタイトルを付けることができるようになり、ページのタイトルは「(titleプラグインで指定した文字列) - (Wiki名)」となる。

書式 †

#title(タイトル)

タイトル

HTMLのTITLEにしたい文字列。

使い方 †

./titleプラグインのテストページで、

#title(titleプラグインのテスト)

と記述しています。

記述する場所は、そのページであればどこでもかまいません。

注意 †

PukiWikiのスキンによっては動作しない可能性もあります。

PukiWikiのスキンはデフォルトで

<title><?php echo $title ?> - <?php echo $page_title ?></title>

のようにしてタイトルを設定しています。このプラグインは「$title」の値を変更しているだけですので、スキンが書き換えられていてタイトルに「$title」が使用されていなかったり、「$title」の値が途中で変更されてしまった場合はうまくいきません。

ダウンロード †

ソースコードを以下に貼り付けておきます。「title.inc.php」という名前のファイルに、適当な文字コード（大抵はEUC）で保存してください。

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22

<?php
// $Id: title.inc.php,v 1.0 2006/04/07 12:00:00 DOBON! Exp $
//
// title plugin
//
// http://dobon.net/
 
define('PLUGIN_TITLE_USAGE', '#title(page_title)');
 
function plugin_title_convert()
{
    global $title;
    
    if (func_num_args() != 1) return PLUGIN_TITLE_USAGE;
    $args = func_get_args();
    
    $title = htmlspecialchars($args[0]);
 
    return "";
}
 
?>

ライセンス †

GPL

コメント †