Changing videojs player

/**
 *
 * Player filter
 *
 * @param string $player default videojs player output
 * @param array $setup
 * @param int|url|embed|iframe $source
 *
 */
add_filter('streamtube/player/file/output', function( $player, $setup, $source ){

    wp_deregister_script( 'videojs' );
    wp_deregister_style( 'videojs' );

    ob_start();

    ?>
    <video controls>

        <?php printf(
            '<source src="%s" type="%s">',
            wp_attachment_is( 'video', esc_attr( $source ) ) ? wp_get_attachment_url( $source ) : $source,
            wp_attachment_is( 'video', esc_attr( $source ) ) ? get_post_mime_type( $source ) : 'unknown'
        );?>

    </video>
    <?php

    return ob_get_clean();

}, 10, 3 );