diff -r bf5f777260a6 -r 21b0534faebc eric6/ThirdParty/Pygments/pygments/styles/manni.py
--- a/eric6/ThirdParty/Pygments/pygments/styles/manni.py Tue Apr 21 19:44:19 2020 +0200
+++ b/eric6/ThirdParty/Pygments/pygments/styles/manni.py Tue Apr 21 19:47:10 2020 +0200
@@ -8,7 +8,7 @@
This is a port of the style used in the `php port`_ of pygments
by Manni. The style is called 'default' there.
- :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
