This sentence should be translated, but code names like the span element should not be translated. Of course there are always exceptions: certain code values should be translated, e.g. to a value in your language like warning.