-include系(あるいは、内部でconvert_html()を呼び出す)プラグインが$digestを書き換えてしまうことがある、というのが直接の原因なので、プラグインの呼び出し前後で$digestを保存する仕掛けを考えてみました。XDですが、動くことは動きます。-PukiWiki2では、ページソースを保持するクラスを作って、digest/filemtime等の属性もオブジェクトから取得するようにしたいですね。-cvsに投入しました。-include系(あるいは、内部でconvert_html()を呼び出す)プラグインが$digestを書き換えてしまうことがある、というのが直接の原因なので、プラグインの呼び出し前後で$digestを保存する仕掛けを考えてみました。XDですが、動くことは動きます。-PukiWiki2では、ページソースを保持するクラスを作って、digest/filemtime等の属性もオブジェクトから取得するようにしたいですね。-cvsに投入しました。