Home
last modified time | relevance | path

Searched refs:default_port (Results 1 – 5 of 5) sorted by relevance

/plugin/scrape/vendor/ezyang/htmlpurifier/library/HTMLPurifier/
DURIScheme.php15 public $default_port = null; variable in HTMLPurifier_URIScheme
65 if ($this->default_port == $uri->port) {
/plugin/scrape/vendor/ezyang/htmlpurifier/library/HTMLPurifier/URIScheme/
Dhttps.php11 public $default_port = 443; variable in HTMLPurifier_URIScheme_https
Dhttp.php11 public $default_port = 80; variable in HTMLPurifier_URIScheme_http
Dnntp.php11 public $default_port = 119; variable in HTMLPurifier_URIScheme_nntp
Dftp.php11 public $default_port = 21; variable in HTMLPurifier_URIScheme_ftp