Merge pull request #3140 from skaut/dependabot/github_actions/shivammathur/cache-extensions-1.13.0

Bump shivammathur/cache-extensions from 1.12.0 to 1.13.0

Author: marekdedic

.github/workflows/CI.yml

@@ -85,7 +85,7 @@ jobs:
 
       - name: "Setup PHP extension caching"
         id: extcache
-        uses: shivammathur/cache-extensions@1.12.0
+        uses: shivammathur/cache-extensions@1.13.0
         with:
           php-version: ${{ env.php-version }}
           extensions: ${{ env.php-extensions }}