Updated default font size linux and add php-mode