Fixing build by setting stubs ver. to older ver.#797

CodyWilson wants to merge 1 commit intofelixfbecker:masterfelixfbecker/php-language-server:masterfrom

CodyWilson:masterCodyWilson/php-language-server:masterCopy head branch name to clipboard