minor cleanup.  rename of "php-mmode" to more apt "php-htm-mode"