Disable scroll-bar-mode in php-mode