Searched full:html_diff (Results 1 – 4 of 4) sorted by relevance
11 - Handle deprecated functions `html_edit` and `html_diff`
130 html_diff(con($PRE,$TEXT,$SUF));
251 html_diff($text, false);255 html_diff($text, false);
560 function html_diff($text = '', $intro = true, $type = null)532 function html_diff($text = '', $intro = true, $type = null) { global() function