diff --git a/collects/meta/web/stubs/wiki.rkt b/collects/meta/web/stubs/wiki.rkt index 11c3f29732..62f8198eb6 100644 --- a/collects/meta/web/stubs/wiki.rkt +++ b/collects/meta/web/stubs/wiki.rkt @@ -4,12 +4,8 @@ (define-context "stubs/wiki" #:resources www:the-resources) -(define header+footer - (delay (regexp-split #rx"{{{BODY}}}" - (xml->string @page[#:id 'browse-downloads - #:html-only #t - #:part-of 'download - "{{{BODY}}}"])))) - (define template - @page[#:title "{{{TITLE}}}" "{{{BODY}}}"]) + (page #:title "{{{TITLE}}}" + #:extra-headers "{{{HEADERS}}}" + #:extra-body-attrs '(|{{{ATTRS}}}|: #t) + "{{{BODY}}}"))