diff options
author | Étienne Deparis | 2022-07-26 18:14:02 +0200 |
---|---|---|
committer | Étienne Deparis | 2022-07-26 18:14:02 +0200 |
commit | 65e41be54b71f4a79a461fa0fdc65cd0c7cfcc9d (patch) | |
tree | a30c4a1bf455566040bad964bb444ff2b23e3ffc /php-language-server | |
parent | 09daaec70183582db2b63c7f3cba820a22124408 (diff) | |
download | aur-65e41be54b71f4a79a461fa0fdc65cd0c7cfcc9d.tar.gz |
Make this package buildable again
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 |