This callback is called at the start of the HTML HEAD section of the page (just after the title).
It allows a page to write out meta tags, if desired.
(default implementation is a simple expression).
method setModified(flag)
[ Language = javascript ]