<?php

$conf['navigation_page'] = 'wiki:navigation';
$conf['pagefloat'] = 'page';
$conf['hide_tools'] = 0;