Ich bin es nochmal. Inzwischen traue ich mich nicht mehr an die Datei.
Nochmal zur Erklärung: Es ist Folgendes passiert:
Alles funktionierte einwandfrei. Allerdings wollte ich mein Suchfenster optimieren und habe mich an den Entwickler des Templates gewandt, der mir dann einen neuen Code schickte und mir dazu schrieb, was ich verändern soll. Als ich dies getan habe, bekam ich den Fehler.
Scheiße!
Dann habe ich den kompletten Code gelöscht und den alten (den ich vorher kopiert hatte) wieder eingesetzt. Der Fehler blieb aber auch nachdem ich es mehrfach versucht hatte. Letztlich half mir nur das Theme über Filezilla neu hochzuladen.