[issue18387] Add 'symbols' link to pydoc's html menu bar.

[Ron Adam]

Ron Adam added the comment:

Updated the patch.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue18387>
_______________________________________