PukiWiki/1.4

しろくろのへや:NoBracketNameより移動してきました。 -- ぱんだ

ページ名にブラケットをつけない。

ページ名を囲むBracketを、ページ名の一部ではなく、「テキスト内で、ページ名を識別するための区切り記号」と考えると、いろいろな問題がすっきり片付くような気がするので、ちょっと実験。

以下の例

この続きは[[次のページ]]を参照してください。

の場合、従来は

[[次のページ]]

をページ名としていたが、前後のブラケットを取り除いた

次のページ

をページ名として扱ったほうが楽じゃないかと。そうすることによって

WikiName

[[WikiName]]

と書いても同じページとして扱うことができるし、表示やソートのためにいちいちstrip_bracket()する必要もないし、全てのBracketNameページのファイル名が8バイト*1節約できるし。

メモ



*1 rawurlencode時はなんと12バイトの節約!! :)

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2006-08-08 (火) 01:02:03
Site admin: PukiWiki Development Team

PukiWiki 1.5.3+ © 2001-2020 PukiWiki Development Team. Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.288 sec.

OSDN