undo_wptexturize_en_dash_replacement

gistfile1.txt

<?php
/**
* @param string $translated
* @param string $text
* @param string $context
* @param string $domain
* @return string
*/
function undo_wptexturize_en_dash_replacement( $translated, $text, $context, $domain ) {
	if ( 'default' === $domain ) {
		if ( '&#8211;' === $text && 'en dash' === $context ) {
			$translated = '--';
		}
	}

	return $translated;
}
add_filter( 'gettext_with_context', 'undo_wptexturize_en_dash_replacement', 10, 4 );