| 1: | <?php | 
| 2: |  | 
| 3: |  | 
| 4: |  | 
| 5: |  | 
| 6: |  | 
| 7: | class HTMLPurifier_HTMLModule_Proprietary extends HTMLPurifier_HTMLModule | 
| 8: | { | 
| 9: |  | 
| 10: |  | 
| 11: |  | 
| 12: | public $name = 'Proprietary'; | 
| 13: |  | 
| 14: |  | 
| 15: |  | 
| 16: |  | 
| 17: | public function setup($config) | 
| 18: | { | 
| 19: | $this->addElement( | 
| 20: | 'marquee', | 
| 21: | 'Inline', | 
| 22: | 'Flow', | 
| 23: | 'Common', | 
| 24: | array( | 
| 25: | 'direction' => 'Enum#left,right,up,down', | 
| 26: | 'behavior' => 'Enum#alternate', | 
| 27: | 'width' => 'Length', | 
| 28: | 'height' => 'Length', | 
| 29: | 'scrolldelay' => 'Number', | 
| 30: | 'scrollamount' => 'Number', | 
| 31: | 'loop' => 'Number', | 
| 32: | 'bgcolor' => 'Color', | 
| 33: | 'hspace' => 'Pixels', | 
| 34: | 'vspace' => 'Pixels', | 
| 35: | ) | 
| 36: | ); | 
| 37: | } | 
| 38: | } | 
| 39: |  | 
| 40: |  | 
| 41: |  |