3711 import os |
3711 import os |
3712 import pprint |
3712 import pprint |
3713 import re |
3713 import re |
3714 import shutil |
3714 import shutil |
3715 import tarfile |
3715 import tarfile |
3716 import urllib.request, urllib.parse, urllib.error |
3716 try: # Py3 |
|
3717 import urllib.request as request |
|
3718 except (ImportError): |
|
3719 import urllib2 as request # __IGNORE_WARNING__ |
3717 |
3720 |
3718 PHP_MANUAL_URL = 'http://us3.php.net/distributions/manual/php_manual_en.tar.gz' |
3721 PHP_MANUAL_URL = 'http://us3.php.net/distributions/manual/php_manual_en.tar.gz' |
3719 PHP_MANUAL_DIR = './php-chunked-xhtml/' |
3722 PHP_MANUAL_DIR = './php-chunked-xhtml/' |
3720 PHP_REFERENCE_GLOB = 'ref.*' |
3723 PHP_REFERENCE_GLOB = 'ref.*' |
3721 PHP_FUNCTION_RE = '<a href="function\..*?\.html">(.*?)</a>' |
3724 PHP_FUNCTION_RE = '<a href="function\..*?\.html">(.*?)</a>' |