PHP Notice: Undefined index: page in wp-script-optimizer.php on line 96

Full notice:
PHP Notice: Undefined index: page in wp-content/plugins/wp-script-optimizer/wp-script-optimizer.php on line 96

Recommend revision (to reduce log spam) of wp-script-optimizer.php:96 from:

self::$page_handle = sanitize_key( $_GET[‘page’] );

… to:

$page = ( isset( $_GET[‘page’] )
? $_GET[‘page’]
: null;
self::$page_handle = sanitize_key( $page );