763   var $header = true;  variable in XMLPrettyPrinter
2196 function compare_bib_entry_by_mtime($a, $b)
2203 function compare_bib_entry_by_bibtex_order($a, $b)
2210 function compare_bib_entry_by_year($a, $b)
2257 function compare_bib_entry_by_title($a, $b)
2264 function compare_bib_entry_by_raw_abbrv($a, $b)
2271 function compare_bib_entry_by_name($a, $b)
2293 function compare_bib_entry_by_month($a, $b)
4324 function HTMLTemplate($content, $header = true) {
4429   var $header = true;  variable in BibtexDisplay
4561   var $header = true;  variable in RSSDisplay