ThirdParty/Pygments/pygments/lexers/_php_builtins.py

changeset 5713
6762afd9f963
parent 4697
c2e9bf425554
child 6651
e8f3b5568b21
equal deleted inserted replaced
5712:f0d08bdeacf4 5713:6762afd9f963
10 10
11 WARNING: the generation transfers quite much data over your 11 WARNING: the generation transfers quite much data over your
12 internet connection. don't run that at home, use 12 internet connection. don't run that at home, use
13 a server ;-) 13 a server ;-)
14 14
15 :copyright: Copyright 2006-2015 by the Pygments team, see AUTHORS. 15 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
16 :license: BSD, see LICENSE for details. 16 :license: BSD, see LICENSE for details.
17 """ 17 """
18 18
19 from __future__ import print_function 19 from __future__ import print_function
20 20

eric ide

mercurial