diff -r ace8a08028f3 -r da76c71624de ThirdParty/Pygments/pygments/lexers/_phpbuiltins.py
--- a/ThirdParty/Pygments/pygments/lexers/_phpbuiltins.py Sun Feb 17 19:05:40 2013 +0100
+++ b/ThirdParty/Pygments/pygments/lexers/_phpbuiltins.py Sun Feb 17 19:07:15 2013 +0100
@@ -12,7 +12,7 @@
internet connection. don't run that at home, use
a server ;-)
- :copyright: Copyright 2006-2012 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
@@ -3784,4 +3784,4 @@
regenerate(__file__, modules)
shutil.rmtree(PHP_MANUAL_DIR)
- run()
\ No newline at end of file
+ run()
