Searched refs:PreTreeFilterHeaderFooter (Results 1 – 3 of 3) sorted by relevance
2 class PreTreeFilterHeaderFooter extends PreTreeFilter { class6 function PreTreeFilterHeaderFooter($header_html, $footer_html) { function in PreTreeFilterHeaderFooter
61 $filter = new PreTreeFilterHeaderFooter("HEADER", "FOOTER");
86 $filter = new PreTreeFilterHeaderFooter($header_html, $footer_html);