Filters the URL base for taxonomies.

To remove any manually prepended /index.php/.

function _wp_filter_taxonomy_base( $base ) {
	if ( ! empty( $base ) ) {
		$base = preg_replace( '|^/index.php/|', '', $base );
		$base = trim( $base, '/' );
	}
	return $base;
}