updated php-extras and added company-mode