chore: drop dependency php-ds

kesselb · kesselb · commit fbfc42826023 · 2023-01-17T21:44:09.000+01:00
The dependency is not used.

Signed-off-by: Daniel Kesselberg &lt;mail@danielkesselberg.de&gt;
diff --git a/3rdparty b/3rdparty
@@ -1 +1 @@
-Subproject commit fe2df9d59fa9b5988aeaf75437c5c8a279878448
+Subproject commit a7c1199f0b27c35953c2fd8194ee8c2638ab3547
