function historyLink($rev) { $linkurl = parent::historyLink($rev); $linkurl->setAttr('target', '_content'); // FIXME: Smelly hack to get smaller history buttons in sidebar $linkurl = new RawXML(str_replace('<img ', '<img style="height:2ex" ', asXML($linkurl))); return $linkurl; }