Fragen\GitHub_Updater\Settings::token_callback_checkbox PHP Method

    public function token_callback_checkbox($args)
    {
        $checked = isset(parent::$options[$args['id']]) ? parent::$options[$args['id']] : null;
        ?>
		<label for="<?php 
        esc_attr_e($args['id']);
        ?>
">
			<input type="checkbox" name="github_updater[<?php 
        esc_attr_e($args['id']);
        ?>
]" value="1" <?php 
        checked('1', $checked, true);
        ?>
 >
		</label>
		<?php 
    }