2018-02-17 11:32:05 +01:00
< h1 class = " title text-uppercase " >< ? php echo $page -> title (); ?> </h1>
< div id = " toc " >
< ul id = " toc-content " ></ ul >
</ div >
< div id = " page-content " >
2018-02-08 00:20:00 +01:00
< ? php echo $page -> content (); ?>
2018-02-18 20:46:48 +01:00
</ div >
2018-02-23 15:53:16 +01:00
< ? php if ( ! $Url -> notFound ()) : ?>
2018-02-18 20:46:48 +01:00
< div class = " text-right mt-5 " >
2018-02-20 16:07:38 +01:00
< a class = " btn btn-primary " href = " <?php echo $GITHUB_BASE_URL . $page->key ().'/'.FILENAME ?> " >< ? php echo $Language -> get ( 'Collaborate with us and edit this page' ); ?> </a>
2018-02-20 16:05:02 +01:00
</ div >
2018-02-23 15:53:16 +01:00
< ? php endif ?>