links-navmenu.php: You can add custom links to the navigation menu (“Jump to” menu) of your application by appending them to this file. The format for each link is:

$navLinks[] = array(
    'url' => 'path/to/link',
    'title' => 'Link title',
    'groups' => array('group1', 'group2'),
    'icon' => 'path/to/icon',
    'table_group' => 0
);