2021-12-14 18:32:47 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
declare(strict_types=1);
|
2007-07-19 12:08:42 +00:00
|
|
|
|
2019-05-28 17:59:38 +01:00
|
|
|
class AdminPageTheme extends Themelet
|
|
|
|
|
{
|
|
|
|
|
/*
|
|
|
|
|
* Show the basics of a page, for other extensions to add to
|
|
|
|
|
*/
|
|
|
|
|
public function display_page()
|
|
|
|
|
{
|
|
|
|
|
global $page;
|
2012-03-10 18:50:10 +00:00
|
|
|
|
2019-05-28 17:59:38 +01:00
|
|
|
$page->set_title("Admin Tools");
|
|
|
|
|
$page->set_heading("Admin Tools");
|
|
|
|
|
$page->add_block(new NavBlock());
|
|
|
|
|
}
|
2007-07-19 12:08:42 +00:00
|
|
|
}
|
