1: <?php
2:
3: 4: 5: 6:
7: class HTMLPurifier_DefinitionCache_Decorator_Cleanup extends
8: HTMLPurifier_DefinitionCache_Decorator
9: {
10:
11: public $name = 'Cleanup';
12:
13: public function copy() {
14: return new HTMLPurifier_DefinitionCache_Decorator_Cleanup();
15: }
16:
17: public function add($def, $config) {
18: $status = parent::add($def, $config);
19: if (!$status) parent::cleanup($config);
20: return $status;
21: }
22:
23: public function set($def, $config) {
24: $status = parent::set($def, $config);
25: if (!$status) parent::cleanup($config);
26: return $status;
27: }
28:
29: public function replace($def, $config) {
30: $status = parent::replace($def, $config);
31: if (!$status) parent::cleanup($config);
32: return $status;
33: }
34:
35: public function get($config) {
36: $ret = parent::get($config);
37: if (!$ret) parent::cleanup($config);
38: return $ret;
39: }
40:
41: }
42:
43:
44: