Jetzt hab ich mich endlich bequemt, das mal zu googeln. WordPress macht aus einem Anführungszeichen ein anderes Zeichen und damit sämtliche meiner Codeschnipsel unbrauchbar für copy&paste. Das ganze lässt sich folgendermaßen ändern:
1. die functions.php im aktuellen Theme öffnen
2. folgenden Code einfügen:
remove_filter('the_content', 'wptexturize');Das war’s schon. Jetzt kann man meinen Code auch einigermaßen vernünftig kopieren.
Die Anleitung hab ich hier gefunden, Punkt 6 „Using Normal Quotes Instead of Curly Quotes„.