Source position: googleblogger.pp line 1172
type TPagesPatchOptions = record
publish: Boolean;
revert: Boolean;
end;