From 9a31c4baa29f752fd9467bd1395a95f3ed5317d9 Mon Sep 17 00:00:00 2001 From: Jan Nedbal Date: Tue, 20 Dec 2022 14:03:28 +0100 Subject: [PATCH] PhpVersion: supportsDisjunctiveNormalForm --- src/Php/PhpVersion.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Php/PhpVersion.php b/src/Php/PhpVersion.php index 32ed54b6bd..e16f549159 100644 --- a/src/Php/PhpVersion.php +++ b/src/Php/PhpVersion.php @@ -201,6 +201,11 @@ public function strSplitReturnsEmptyArray(): bool return $this->versionId >= 80200; } + public function supportsDisjunctiveNormalForm(): bool + { + return $this->versionId >= 80200; + } + public function serializableRequiresMagicMethods(): bool { return $this->versionId >= 80100;