/**
* DO NOT EDIT THIS FILE.
* See the following change record for more information,
* https://www.drupal.org/node/2815083
* @preserve
**/
(Drupal => {
Drupal.theme.checkbox = () => `<input type="checkbox" class="form-checkbox"/>`;
})(Drupal);