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をPukiWikiのpluginディレクトリに配置してください。
使い方 †
#pageinfo([label])
&pageinfo([label]);
label … ページ情報表示へのリンクラベル。省略するとアイコン画像リンクを出力
使用例 †
&pageinfo(ページ情報);
※このウィキのフッターにある「情報」リンクは本プラグインによるものです*1。クリックして内容をご確認ください。
設定 †
コード内の下記の定数で動作を制御することができます。
| 定数名 | 値 | 既定値 | 意味 |
|---|---|---|---|
| PLUGIN_PAGEINFO_SHOW_PAGE_FUNCTIONS | 0 or 1 | 0 | ページ操作ツールを表示 |
| PLUGIN_PAGEINFO_SHOW_GENERAL_FUNCTIONS | 0 or 1 | 0 | 一般ツールを表示 |
| PLUGIN_PAGEINFO_SHOW_ATTACHEDFILES | 0 or 1 | 1 | 添付ファイルリストを表示 |
| PLUGIN_PAGEINFO_SHOW_RELATEDPAGES | 0 or 1 | 1 | 関連ページリストを表示 |
| PLUGIN_PAGEINFO_SHOW_BASICINFO | 0 or 1 | 1 | ページ基本情報を表示 |
| PLUGIN_PAGEINFO_SHOW_VIEWS | 0 or 1 | 0 | ページ閲覧回数を表示（counter標準プラグインが設置されていなければ無意味） |
| PLUGIN_PAGEINFO_SHOW_PROTECTION | 0 or 1 | 1 | ページ保護情報を表示 |
| PLUGIN_PAGEINFO_SHOW_CMSINFO | 0 or 1 | 0 | CMS（PukiWiki）情報を表示 |
| PLUGIN_PAGEINFO_SHOW_SERVERINFO | 0 or 1 | 0 | サーバー情報を表示 |
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に集中することで、運用中の設定管理も楽になります。
凡例 †
プラグインの引数は下記の書式で表現しています。
- [] … 省略でき必要に応じて記述します
- | … |で区切られた項目のうち１つを記述します
- {} … 中カッコ内の引数は任意の順序で記述できます