Что не помогло?
Замена вышеуказанных строк на что-то такое:
<a class="brand" href="http://URL_домена"><img src="<?php echo $OUTPUT->pix_url('logo', 'theme');?>" alt="logo" /></a>
и положить картинку лого с названием logo.png в каталог pix темы More
не помогает?