support <HTML>, remove <HEADER>

gvanrossum · gvanrossum · commit 2d95706f6898 · 1995-06-22T18:46:12.000Z
diff --git a/Lib/htmllib.py b/Lib/htmllib.py
@@ -98,10 +98,9 @@ def end_a(self):
 				self.handle_data('[' + `self.inanchor` + ']')
 		self.inanchor = 0
 	#
-	def start_header(self, attrs): pass
-	def end_header(self): pass
+	def start_html(self, attrs): pass
+	def end_html(self): pass
 	#
-	# (head is the same as header)
 	def start_head(self, attrs): pass
 	def end_head(self): pass
 	#

Original file line number	Diff line number	Diff line change
`@@ -98,10 +98,9 @@ def end_a(self):`
`98`	`98`	self.handle_data('[' + `self.inanchor` + ']')
`99`	`99`	`self.inanchor = 0`
`100`	`100`	`#`
`101`		`- def start_header(self, attrs): pass`
`102`		`- def end_header(self): pass`
	`101`	`+ def start_html(self, attrs): pass`
	`102`	`+ def end_html(self): pass`
`103`	`103`	`#`
`104`		`- # (head is the same as header)`
`105`	`104`	`def start_head(self, attrs): pass`
`106`	`105`	`def end_head(self): pass`
`107`	`106`	`#`