<?php

class HTMLPurifier_AttrDef
{
    var $def;
    function HTMLPurifier_AttrDef($def) {
        $this->def = $def;
    }
}

?>