2013-06-19 20:09:22 +01:00
|
|
|
<?php
|
|
|
|
|
2019-05-28 17:59:38 +01:00
|
|
|
class CustomExtManagerTheme extends ExtManagerTheme
|
|
|
|
{
|
|
|
|
public function display_table(Page $page, array $extensions, bool $editable)
|
|
|
|
{
|
|
|
|
$page->disable_left();
|
|
|
|
parent::display_table($page, $extensions, $editable);
|
|
|
|
}
|
2014-04-29 01:33:03 -04:00
|
|
|
|
2019-08-01 11:20:09 -05:00
|
|
|
public function display_doc(Page $page, ExtensionManagerInfo $info)
|
2019-05-28 17:59:38 +01:00
|
|
|
{
|
|
|
|
$page->disable_left();
|
|
|
|
parent::display_doc($page, $info);
|
|
|
|
}
|
2013-06-19 20:09:22 +01:00
|
|
|
}
|