ThirdParty/Pygments/pygments/lexers/_php_builtins.py

changeset 6651
e8f3b5568b21
parent 5713
6762afd9f963
equal deleted inserted replaced
6650:1dd52aa8897c 6651:e8f3b5568b21
4686 from urllib.request import urlretrieve 4686 from urllib.request import urlretrieve
4687 4687
4688 PHP_MANUAL_URL = 'http://us3.php.net/distributions/manual/php_manual_en.tar.gz' 4688 PHP_MANUAL_URL = 'http://us3.php.net/distributions/manual/php_manual_en.tar.gz'
4689 PHP_MANUAL_DIR = './php-chunked-xhtml/' 4689 PHP_MANUAL_DIR = './php-chunked-xhtml/'
4690 PHP_REFERENCE_GLOB = 'ref.*' 4690 PHP_REFERENCE_GLOB = 'ref.*'
4691 PHP_FUNCTION_RE = '<a href="function\..*?\.html">(.*?)</a>' 4691 PHP_FUNCTION_RE = r'<a href="function\..*?\.html">(.*?)</a>'
4692 PHP_MODULE_RE = '<title>(.*?) Functions</title>' 4692 PHP_MODULE_RE = '<title>(.*?) Functions</title>'
4693 4693
4694 def get_php_functions(): 4694 def get_php_functions():
4695 function_re = re.compile(PHP_FUNCTION_RE) 4695 function_re = re.compile(PHP_FUNCTION_RE)
4696 module_re = re.compile(PHP_MODULE_RE) 4696 module_re = re.compile(PHP_MODULE_RE)

eric ide

mercurial