+ def theme_script(self, name):
+ """ Format script html from this theme's static dir """
+ src = '%s/%s/js/%s.js' % (self.request.cfg.url_prefix_static, self.name, name)
+ return '<script type="text/javascript" src="%s"></script>' % src
+
+ def pageinfo(self, page):
+ """ Output page name and "last modified". This overwrites the pageinfo
+ from ThemeBase to hide the username, which is useless and always
+ produces a link to the non-existing homepage of the last editor. """
+ _ = self.request.getText
+ html = ''
+ if self.shouldShowPageinfo(page):
+ info = page.lastEditInfo()
+ if info:
+ info = _("last modified %(time)s") % info
+ pagename = page.page_name
+ info = "%s (%s)" % (wikiutil.escape(pagename), info)
+ html = '<p id="pageinfo" class="info"%(lang)s>%(info)s</p>\n' % {
+ 'lang': self.ui_lang_attr(),
+ 'info': info
+ }
+ return html
+
+ def startPage(self, d):
+ # This opens up #page
+ html = ThemeBase.startPage(self)
+ html += u'<div id="pagetop"></div>\n'
+ html += u'<div id="pagemiddle">\n'
+ return html
+
+ def endPage(self, d):
+ html = u'</div><!-- #pagemiddle -->\n'
+ html += ThemeBase.endPage(self)
+ # This adds #pagebottom and closes #page
+ return html