actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-09-04 03:44:08 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add fileinfo extension with phpdoc

Browse Source 
Add aliases for phpdoc
This commit is contained in:
Shivam Mathur
2021-09-20 05:26:43 +05:30
parent 253459691c
commit 7b145b5fae
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/scripts/tools/add_tools.sh
View File

@ -14,6 +14,9 @@ add_tools_helper() {
add_extension curl extension >/dev/null 2>&1
add_extension mbstring extension >/dev/null 2>&1
add_extension xml extension >/dev/null 2>&1
elif [ "$tool" = "phpDocumentor" ]; then
add_extension fileinfo extension >/dev/null 2>&1
sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/phpdoc
elif [[ "$tool" =~ (symfony|vapor|wp)-cli ]]; then
sudo ln -s "${tool_path:?}" "${tool_path_dir:?}"/${tool%-*}
fi