Top/PukiWiki/設定/etc

etc

<pre>の行頭スペースをひとつ取り除く

pukiwiki.ini.php
```
$preformat_ltrim = 1;
```

高速化?

default.ini.php
```
$load_template_func = 0;
```

$related_link = 0;

最終更新時刻の表示をISO 8601風に

変更前	Sun, 22 Aug 2004 17:28:54 JST
変更後	2004-08-22 17:28:54

--- lib/html.php.orig	2004-08-07 00:41:41.000000000 +0900
+++ lib/html.php	2004-10-29 07:21:41.000000000 +0900
@@ -8,7 +8,7 @@
 // 本文を出力
 function catbody($title,$page,$body)
 {
-	global $script,$vars,$arg,$defaultpage,$whatsnew,$help_page,$hr;
+	global $script,$vars,$arg,$defaultpage,$whatsnew,$help_page,$hr,$date_format,$time_format;
 	global $related_link,$cantedit,$function_freeze,$search_word_color,$_msg_word;
 	global $foot_explain,$note_hr,$head_tags;
 
@@ -49,7 +49,7 @@
 
 	// ページの最終更新時刻(文字列)
 	$lastmodified = $is_read ?
-		get_date('D, d M Y H:i:s T',get_filetime($_page)).' '.get_pg_passage($_page,FALSE) : '';
+		get_date($date_format.' '.$time_format,get_filetime($_page)).' '.get_pg_passage($_page,FALSE) : '';
 
 	// 関連するページのリスト
 	$related = ($is_read and $related_link) ? make_related($_page) : '';