I don't think it works, does it? It would be nice because people have posted code where it contains both PHP and HTML. If I paste such code then I usually choose the language that is most prevalent in the code.

Don't worry about that too much.

__________________
The man who comes back through the Door in the Wall will never be quite the same as the man who went out.