function categories_box($page, $box = NULL) { $id = isset($page->link) ? $page->link->id : NULL; FeedWordPressSettingsUI::instead_of_categories_box($id); }