MySQL REPLACE-instructie onjuist? Er is een nieuwe verklaring gevonden, maar geen scheidingsteken

Deze schijnt een bug te zijn geweest met die (verouderde) phpMyAdmin-versie; het is in ieder geval opgelost in de huidige 4.5.5.1, mogelijk eerder, maar ik heb niet uitgebreid getest om te achterhalen wanneer precies.