Added setting for ``NavGenPlugin`` to config.php