WordPress: Create taxonomy filter for post admin screen

taxonomy_filter.php

add_action( 'restrict_manage_posts', 'dated_pubs_table_filtering', 10, 2 );
function dated_pubs_table_filtering( $post_type, $which ) {

		if ( 'dated_publications' === $post_type ) {
			// A list of taxonomy slugs to filter by.
			$taxonomies = array( 'dated_pub_type' );

			foreach ( $taxonomies as $taxonomy_slug ) {
				// Retrieve taxonomy data.
				$taxonomy_obj  = get_taxonomy( $taxonomy_slug );
				$taxonomy_name = $taxonomy_obj->labels->name;

				// Retrieve taxonomy terms.
				$terms = get_terms( $taxonomy_slug );

				// Display filter HTML.
				echo "<select name='{$taxonomy_slug}' id='{$taxonomy_slug}' class='postform'>";
				echo '<option value="">' . sprintf( esc_html__( 'Show All %s', 'text_domain' ), $taxonomy_name ) . '</option>';
				foreach ( $terms as $term ) {
					printf(
						'<option value="%1$s" %2$s>%3$s (%4$s)</option>',
						$term->slug,
						( ( isset( $_GET[ $taxonomy_slug ] ) && ( $_GET[ $taxonomy_slug ] == $term->slug ) ) ? ' selected="selected"' : '' ),
						$term->name,
						$term->count
					);
				}
				echo '</select>';
			}
		}
	}