5 interface HtmlDiffAdvancedInterface {
9 public function setOldHtml($oldText);
11 public function setNewHtml($newText);
13 public function getDifference();
15 // Convienience functions
17 public function getOldHtml();
19 public function getNewHtml();
21 // Advanced settings functions
23 public function setEncoding($encoding);
25 public function setInsertSpaceInReplace($boolean);
27 public function getInsertSpaceInReplace();
29 public function setSpecialCaseChars(array $chars);
31 public function getSpecialCaseChars();
33 public function addSpecialCaseChar($char);
35 public function removeSpecialCaseChar($char);
37 public function setSpecialCaseTags(array $tags);
39 public function addSpecialCaseTag($tag);
41 public function removeSpecialCaseTag($tag);
43 public function getSpecialCaseTags();
45 public function setGroupDiffs($boolean);
47 public function isGroupDiffs();
49 public function setPurifierSerializerCachePath($path = NULL);