pageinfo.inc.php

名称ページ情報表示プラグイン
ファイルpageinfo.inc.php
バージョン1.00
対象サーバーPukiWiki 1.5.3 / PHP 7.4 / UTF-8
対象ブラウザーFirefox, Chrome, Safari, Edge 各最新版
ライセンスGPLv3

ページ情報を表示するPukiWiki用プラグイン。

インストール

pageinfo.inc.php
15.6KB | 2020-06-08

pageinfo.inc.phpPukiWikipluginディレクトリに配置してください。

使い方

#pageinfo([label])
&pageinfo([label]);

label … ページ情報表示へのリンクラベル。省略するとアイコン画像リンクを出力

使用例

&pageinfo(ページ情報);

このウィキのフッターにある「情報」リンクは本プラグインによるものです*1。クリックして内容をご確認ください。

設定

コード内の下記の定数で動作を制御することができます。

定数名既定値意味
PLUGIN_PAGEINFO_SHOW_PAGE_FUNCTIONS0 or 10ページ操作ツールを表示
PLUGIN_PAGEINFO_SHOW_GENERAL_FUNCTIONS0 or 10一般ツールを表示
PLUGIN_PAGEINFO_SHOW_ATTACHEDFILES0 or 11添付ファイルリストを表示
PLUGIN_PAGEINFO_SHOW_RELATEDPAGES0 or 11関連ページリストを表示
PLUGIN_PAGEINFO_SHOW_BASICINFO0 or 11ページ基本情報を表示
PLUGIN_PAGEINFO_SHOW_VIEWS0 or 10ページ閲覧回数を表示(counter標準プラグインが設置されていなければ無意味)
PLUGIN_PAGEINFO_SHOW_PROTECTION0 or 11ページ保護情報を表示
PLUGIN_PAGEINFO_SHOW_CMSINFO0 or 10CMS(PukiWiki)情報を表示
PLUGIN_PAGEINFO_SHOW_SERVERINFO0 or 10サーバー情報を表示

default.ini.phpへの設定

本プラグインの定数設定(ファイル内の下記のような行)は、PukiWikiルートディレクトリにある標準設定ファイルdefault.ini.phpにも記述することができます。本プラグインの定数設定行をdefault.ini.phpの末尾にそのままコピーしてください。default.ini.php側の設定値が優先されます。

/////////////////////////////////////////////////
// ○○プラグイン設定(○○.inc.php)
if (!defined('PLUGIN_○○_×××)) define('PLUGIN_○○_×××', △);

設定をdefault.ini.phpに記述することで、プラグインをアップデート(ファイル上書き)するたびに値を書き直す必要がなくなります。また、設定がdefault.ini.phpに集中することで、運用中の設定管理も楽になります。

凡例

プラグインの引数は下記の書式で表現しています。

  • [] … 省略でき必要に応じて記述します
  • | … |で区切られた項目のうち1つを記述します
  • {} … 中カッコ内の引数は任意の順序で記述できます

*1 イカスキンにはナビゲーションメニューの一つとして本プラグインがあらかじめ挿入されています。