diff options
Diffstat (limited to 'php-language-server')
| -rw-r--r-- | php-language-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-language-server b/php-language-server index 3fbc1f4de56c..1b5f92d1f2b6 100644 --- a/php-language-server +++ b/php-language-server @@ -1,2 +1,2 @@ #!/bin/bash -php /usr/share/php/php-language-server/bin/php-language-server.php +php7 /usr/share/php7/php-language-server/bin/php-language-server.php |