1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 |
- <?php
- class HTMLPurifier_StringHash extends ArrayObject
- {
-
- protected $accessed = array();
-
- public function offsetGet($index)
- {
- $this->accessed[$index] = true;
- return parent::offsetGet($index);
- }
-
- public function getAccessed()
- {
- return $this->accessed;
- }
-
- public function resetAccessed()
- {
- $this->accessed = array();
- }
- }
|