ILIAS  release_5-1 Revision 5.0.0-5477-g43f3e3fab5f
Zipper.php File Reference

Go to the source code of this file.

Data Structures

class  HTMLPurifier_Zipper
 A zipper is a purely-functional data structure which contains a focus that can be efficiently manipulated. More...