Skip to content

Commit

Permalink
Merge pull request #94 from creative-commoners/pulls/1.5/remove-psr-ext
Browse files Browse the repository at this point in the history
FIX Remove preinstalled psr extension
  • Loading branch information
maxime-rainville authored Dec 7, 2023
2 parents a3c9199 + 6e281d7 commit 958cb65
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -210,6 +210,17 @@ jobs:
if [[ "${{ matrix.phpcoverage }}" != "true" ]]; then
sudo sh -c "echo ';zend_extension=xdebug.so' > /etc/php/${{ matrix.php }}/mods-available/xdebug.ini"
fi
# Remove php8.x-psr extension which may be pre-installed with ubuntu
# The extension adds a PHP PsrExt namespace aliased to Psr and the implementation of
# PsrExt\Log\LoggerInterface::emergency() has a signature that conflicts with Monolog\Logger::emergency()
match=$(sudo dpkg --get-selections | grep php | grep psr) || true
if [[ "$match" =~ ^(php[0-9\.]+\-psr) ]]; then
extension=${BASH_REMATCH[1]};
sudo apt remove "$extension"
echo "Removed PHP extension $extension"
fi
echo "PHP has been configured"
- name: Install additional requirements
Expand Down

0 comments on commit 958cb65

Please sign in to comment.