Lieber Frank,
I also have had the same annoying problem at the same line of wp-maintenance-mode.php.
I’ve tried to test your dev version (simply renaming the old wp-maintenance-mode.php and replacing it with the new version)… and I can confirm… that… it works fine!
Danke schön für die Hilfe und für dein Werk!
Du bist wirklich ein Schatz 🙂
