Comment 1 for bug 409358

Thanks Jack.

Hm, that probably makes it two bugs: one in php-mode and one in mumamo that avoids this bug ... ;-)

I think we had better start with the php-mode bug - which probably is quite complicated (that's probably why mumamo kills the bug ...). I have to call in Alan and Aaron I think.