disable electric indenting in php-mode, don't ask for resuming clock ->
just do it