This filter is documented in wp-includes/media.php

$video_library = apply_filters( 'wp_video_shortcode_library', 'mediaelement' );