added php-boris-minor-mode