fixed typo; replaced php-symbol-lookup with built-in php-search-documentation; added flymake error in mini-buffer