(merge 3.2) Issue #12451: pydoc: html_getfile() now uses tokenize.open() to

support Python scripts using a encoding different than UTF-8 (read the coding
cookie of the script).

Lib/pydoc.py

@@ -2311,7 +2311,7 @@ def _url_handler(url, content_type="text/html"):
     def html_getfile(path):
         """Get and display a source file listing safely."""
         path = path.replace('%20', ' ')
-        with open(path, 'r') as fp:
+        with tokenize.open(path) as fp:
             lines = html.escape(fp.read())
         body = '<pre>%s</pre>' % lines
         heading = html.heading(