Make doubly sure that nothing steps on our formatoptions when we switch to and from PHP.
Default to 4 space indent in javascript.