mirror of
https://ghproxy.net/https://github.com/fairpm/planet.git
synced 2026-07-23 12:26:58 +08:00
6 lines
199 B
Text
6 lines
199 B
Text
import sys
|
|
import html5lib
|
|
tree=html5lib.treebuilders.dom.TreeBuilder
|
|
parser = html5lib.html5parser.HTMLParser(tree=tree)
|
|
document = parser.parse(sys.stdin)
|
|
sys.stdout.write(document.toxml("utf-8"))
|
