I\'ve got a number of stored procedures made with the MySQL Workbench. They work just fine when use MySQL workbench to put them into my test DB.
Now I am preparing
To sum it up:
DELIMITER is implemented client-side, not serverside.
If you have a good driver or API, it may take care of this. PHP mysql / mysqli, as of now, do not.
If you need to use a different delimiter (e.g. because the default delimiter appears inside scripts), you have to encode/escape your SQL yourself or break it up so you don't need to change the delimiter. No help from PHP here.