Searched defs:header_type (Results 1 – 2 of 2) sorted by relevance
321 var $header_type = GESHI_HEADER_PRE; variable in GeSHi
315 def check_next_include_order(self, header_type, file_is_header, primary_header_exists): argument