pukiwiki.ini.phpで
$script = 'http://www.example.com/index.php'; $script_directory_index = 'index.php';
として,skinファイルの中で
echo $script;
とすると「http://www.example.com/index.php」が表示されます.
PukiWiki 1.4.5_1と2005-03-13 (日) 19:55:14時点のCVS版で確認.
///////////////////////////////////////////////// // INI_FILE: Init $script if (isset($script)) { get_script_uri($script); // Init manually } else { $script = get_script_uri(); // Init automatically }という使い方をしていますが、get_script_uri関数内部で$scriptをglobal呼び出すような構造ではないで、「// Init manually」に分岐した場合は短縮後の$scriptが上書きされずにそのままになってしまうようです。このため、get_script_uri関数を使わずにecho $script;している箇所では、短縮後の状態が反映されないようです。