tableselect.js uses Drupal object, but does not include it in its closure

This might win me The Most Trivial Patch of the Month Award :P

The library definition in system.module already declares its dependencies correctly:

  $libraries['drupal.tableselect'] = array(
    'title' => 'Tableselect',
    'version' => VERSION,
    'js' => array(
      'core/misc/tableselect.js' => array(),
    ),
    'dependencies' => array(
      array('system', 'drupal'),
      array('system', 'jquery'),
    ),
  );

So it's really only

(function ($) {
…
})(jQuery);

that is wrong: it should also list Drupal.