Comment 4 for bug 1449770

Ah, if you don't already have a local/lib.php file then make one with the opening php tag, like thus:

<?php

function local_main_nav_update(&$menu) {
    $menu['support'] = array(
        'path' => 'support',
        'wwwroot' => 'http://docs.myportfolio.school.nz/',
        'url' => 'index.html',
        'title' => 'External link',
        'weight' => 50,
    );
}