by P L.
Thank you; IT mentioned 4.2.8 as being the previous Moodle version, but another answer mentions we probably have the 3.11 version of this renderer.php file... I will ask for the whole upgrade to be attempted again.