geckon01/predis
1
0
Fork 0
mirror of https://github.com/predis/predis.git synced 2026-10-07 20:38:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove Webdis and phpiredis (#1291)

Browse Source 
* remove webdis and phpiredis

* update changelog

* add pr number
This commit is contained in:
Till Krüss
2023-05-09 11:11:22 -07:00
committed by GitHub
parent b8f80aa5f2
commit 6fbbb8973f
17 changed files with 13 additions and 1777 deletions
Download Patch File Download Diff File Expand all files Collapse all files
phpunit.xml.dist
-2
View File
@@ -28,11 +28,9 @@
<groups>
<exclude>
<group>realm-webdis</group>
<group>realm-stack</group>
<group>ext-relay</group>
<group>ext-curl</group>
<group>ext-phpiredis</group>
<!-- <group>connected</group> -->
<!-- <group>disconnected</group> -->
<!-- <group>commands</group> -->