Monday, August 18, 2008, 3:31:04 PM, Patrick R. Michaud wrote:
> Better might be simply a refresh markup:
> (:refresh 20:)
# markup (:refresh nn:)
# example: page refresh every 20 seconds: (:refresh 20:)
Markup('refresh', '<include',
'/\\(:refresh\\s+(.*?):\\)/ei',
"RefreshMarkup(\$pagename, PSS('$1'))");
function RefreshMarkup($pagename, $secs) {
global $HTMLHeaderFmt;
$HTMLHeaderFmt['refresh'] =
"<meta http-equiv='Refresh' Content='$secs; URL={\$PageUrl}' />";
return '';
}
~Hans
_______________________________________________
pmwiki-users mailing list
[email protected]
http://www.pmichaud.com/mailman/listinfo/pmwiki-users
