91e03eb3c8
It never has been used in core since it was introduced in 2011 by MDL-22112, because the ouwiki_diff_html() is used unconditionally for all wiki formats (html, creole or nwiki). So, removing it to avoid any current (php80) or future incidence with it.