1<?php
2
3$conf['navigation_page'] = 'wiki:navigation';
4$conf['pagefloat'] = 'page';
5$conf['hide_tools'] = 0;
6