Content deleted Content added
mNo edit summary |
mNo edit summary |
||
Line 131:
var history_entry = new Array();
history_entry["title"] = history_text.match( /title="([^"]+)"/i )[1]
.replace( /"/g, "\"")
Line 141:
//dump_lines(history_entry);
dump_text(history_entry["
}
}
|