Top > diary > 2010-04-01

[plugin] Edit

 PukiWiki Plus!用プラグインをこちょこちょと作っていたのですが、使い慣れた機能がうまく動作しないため原因を見つけるのに苦労しました。何がしたかったかというとホームページ内に目的のプラグインが存在した場合、$head_tagsや$foot_tagsに設定用htmlタグを入れる作業なんですが、目的のプラグインがホームページ内で実行されていてもPukiWiki参照ページ内に記述されていなければ$head_tagsや$foot_tagsに設定を渡せないようなんです。つまり目的のプラグインがMenuBarやSidBarに記述されている場合は$head_tagsや$foot_tagsに設定用htmlタグを入れる事が出来ないようです。*1

 とりあえず今回はscriptタグを最後に1つ入れたいだけなのだが、良い方法が思い浮かばない。 skin内に直接書きこむのも好みじゃないのだが、苦肉の策としてhtml.php内の$foot_tag作成定義をコメントアウトしてskin側にphpタグとして移植してみました。JavaScriptを理解していれば、また違うごまかし方も思いつくかもしれませんけど今は無理ですorz。


Reload   New Lower page making Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup Referer   Help   RSS of recent changes