Home
last modified time | relevance | path

Searched refs:optSections (Results 1 – 2 of 2) sorted by relevance

/PHP-7.2/scripts/dev/generate-phpt/src/setup/
H A DgtOptionalSections.php4 private $optSections = array( variable in gtOptionalSections
21 if(array_key_exists($option, $this->optSections )) {
22 $this->optSections[$option] = true;
42 return $this->optSections;
55 return $this->optSections['skipif'];
72 return $this->optSections['ini'];
76 return $this->optSections['clean'];
80 return $this->optSections['done'];
/PHP-7.2/scripts/dev/
H A Dgenerate-phpt.phar683 private $optSections = array(
700 if(array_key_exists($option, $this->optSections )) {
701 $this->optSections[$option] = true;
721 return $this->optSections;
734 return $this->optSections['skipif'];
751 return $this->optSections['ini'];
755 return $this->optSections['clean'];
759 return $this->optSections['done'];

Completed in 14 milliseconds