|
@@ -162,6 +162,7 @@ let htmlescape s =
|
|
let s = String.concat "&" (ExtString.String.nsplit s "&") in
|
|
let s = String.concat "&" (ExtString.String.nsplit s "&") in
|
|
let s = String.concat "<" (ExtString.String.nsplit s "<") in
|
|
let s = String.concat "<" (ExtString.String.nsplit s "<") in
|
|
let s = String.concat ">" (ExtString.String.nsplit s ">") in
|
|
let s = String.concat ">" (ExtString.String.nsplit s ">") in
|
|
|
|
+ let s = String.concat """ (ExtString.String.nsplit s "\"") in
|
|
s
|
|
s
|
|
|
|
|
|
let reserved_flags = [
|
|
let reserved_flags = [
|