Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 132:
var history_entry = new Array();
//history_entry["date_text"] = history_text.match( /^<li>([^(<]+)/is )[1];
//.replace( /"/g, "\"")
//.replace( /&/g, "&");
Line 141:
//dump_lines(history_entry);
dump_text(history_entry["
}
}
|