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

25 lines
517 B
PHP
Raw Normal View History

2013-06-19 19:09:22 +00:00
<?php
class CustomExtManagerTheme extends ExtManagerTheme {
2014-04-29 05:33:03 +00:00
/**
* @param Page $page
* @param array $extensions
* @param bool $editable
*/
2013-06-19 19:09:22 +00:00
public function display_table(Page $page, /*array*/ $extensions, /*bool*/ $editable) {
$page->disable_left();
parent::display_table($page, $extensions, $editable);
}
2014-04-29 05:33:03 +00:00
/**
* @param Page $page
* @param ExtensionInfo $info
*/
2013-06-19 19:09:22 +00:00
public function display_doc(Page $page, ExtensionInfo $info) {
$page->disable_left();
parent::display_doc($page, $info);
}
}