<?php
/**
 * Functionality for the navigation tree
 */