This repository has been archived on 2024-09-05. You can view files and clone it, but cannot push or open issues or pull requests.
shimmie2/themes/danbooru2/ext_manager.theme.php
2014-04-29 01:33:03 -04:00

24 lines
517 B
PHP

<?php
class CustomExtManagerTheme extends ExtManagerTheme {
/**
* @param Page $page
* @param array $extensions
* @param bool $editable
*/
public function display_table(Page $page, /*array*/ $extensions, /*bool*/ $editable) {
$page->disable_left();
parent::display_table($page, $extensions, $editable);
}
/**
* @param Page $page
* @param ExtensionInfo $info
*/
public function display_doc(Page $page, ExtensionInfo $info) {
$page->disable_left();
parent::display_doc($page, $info);
}
}