diff options
| author | Harald Eilertsen <haraldei@anduin.net> | 2021-05-08 19:18:38 +0200 |
|---|---|---|
| committer | Harald Eilertsen <haraldei@anduin.net> | 2021-05-08 19:18:38 +0200 |
| commit | 4977a733b6f614de868fc405b820d5c66e5bf9b7 (patch) | |
| tree | fb033d693061bc22d069aa591e9dadf94c2a54b2 /giglogadmin.php | |
| parent | 22397366614e9d80eed49d28994c5801e8821d27 (diff) | |
| download | gigologadmin-4977a733b6f614de868fc405b820d5c66e5bf9b7.tar.gz gigologadmin-4977a733b6f614de868fc405b820d5c66e5bf9b7.tar.bz2 gigologadmin-4977a733b6f614de868fc405b820d5c66e5bf9b7.zip | |
Auto fixup missing return types by Psalm
Diffstat (limited to 'giglogadmin.php')
| -rw-r--r-- | giglogadmin.php | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/giglogadmin.php b/giglogadmin.php index 0e8b399..d71496b 100644 --- a/giglogadmin.php +++ b/giglogadmin.php @@ -36,7 +36,7 @@ if ( !class_exists( 'GiglogAdmin_Plugin' ) ) { class GiglogAdmin_Plugin { - static public function init() { + static public function init(): void { add_shortcode('giglog_cities', 'giglogadmin_getfilters'); add_shortcode('giglog_bands', 'giglogadmin_getconcerts'); add_shortcode('giglog_unprocessed', 'giglogadmin_display_unprocessed'); @@ -49,18 +49,20 @@ if ( !class_exists( 'GiglogAdmin_Plugin' ) ) { add_filter( 'wp_nav_menu_args', array( 'GiglogAdmin_Plugin', 'nav_menu_args' )); } - static function activate() { + static function activate(): void { require_once __DIR__ . '/includes/admin/register_db_tables.php'; } - static function deactivate() { + static function deactivate(): void { } /** * Adds the 'Giglog' top level menu to the left side WordPress admin * menu. Other subpages will come later. + * + * @return void */ - static function add_admin_pages() { + static function add_admin_pages(): void { $top = add_menu_page( "Giglog admin", // Page title "Giglog", // Menu title @@ -86,7 +88,7 @@ if ( !class_exists( 'GiglogAdmin_Plugin' ) ) { wp_enqueue_style('css_style'); } - static function add_help_pages() { + static function add_help_pages(): void { add_menu_page( "Help for ET users", // Page title "Help for ET users", // Menu title |