navigation_extra-1.0.x-dev/navigation_extra.install

<?php

/**
 * @file
 * Install, update and uninstall functions for the navigation_extra module.
 */