Name	Size	Mode	Actions
CaseInsensitiveArray.php	1856	0644	editdlrm
DefaultLogger.php	793	0644	editdlrm
LoggerInterface.php	1124	0644	editdlrm
RandomGenerator.php	814	0644	editdlrm
RequestOptions.php	3843	0644	editdlrm
Set.php	746	0644	editdlrm
Util.php	13819	0644	editdlrm

_elts = []; foreach ($members as $item) { $this->_elts[$item] = true; } } public function includes($elt) { return isset($this->_elts[$elt]); } public function add($elt) { $this->_elts[$elt] = true; } public function discard($elt) { unset($this->_elts[$elt]); } public function toArray() { return \array_keys($this->_elts); } public function getIterator() { return new ArrayIterator($this->toArray()); } }