Batch Catプラグインで、「Notice: Undefined index」が出る場合の対応

PHP Notice: Undefined index: page in /var/www/localhost/htdocs/wordpress/wp-content/plugins/batch-cat/admin.php on line 147

I get this notice most of the time.

WordPress › Support » [Plugin: Batch Cat] Undefined index

こんな感じのNoticeが出る場合ですね。放置しておいても動作上は問題ないですが、気持ち悪い場合は・・・。

wp-content/plugins/batch-cat/admin.php:147を以下のように書き換えます。

■修正前

// Only include the js file in the plugin's admin page
if ('batch-cat/admin.php' != $_GET['page']) {
    return '';
}

■修正後

// Only include the js file in the plugin's admin page
if (!isset($_GET['page'])){
    return '';
}
if ('batch-cat/admin.php' != $_GET['page']) {
    return '';
}