fixup! Fix GH-8842 Make the ABI compatibility of generated arginfo files configurable

Author: kocsismate

build/gen_stub.php

@@ -117,6 +117,9 @@ function processStubFile(string $stubFile, Context $context, bool $includeOnly =
             foreach ($legacyFileInfo->getAllFuncInfos() as $funcInfo) {
                 $funcInfo->discardInfoForOldPhpVersions();
             }
+            foreach ($legacyFileInfo->getAllConstInfos() as $constInfo) {
+                $constInfo->discardInfoForOldPhpVersions();
+            }
             foreach ($legacyFileInfo->getAllPropertyInfos() as $propertyInfo) {
                 $propertyInfo->discardInfoForOldPhpVersions();
             }
@@ -1766,6 +1769,8 @@ abstract protected function getFieldSynopsisName(): string;
      */
     abstract protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string;
 
+    abstract public function discardInfoForOldPhpVersions(): void;
+
     /**
      * @return array<int, string[]>
      */
@@ -1949,6 +1954,11 @@ protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string
         return $this->valueString;
     }
 
+    public function discardInfoForOldPhpVersions(): void {
+        $this->flags &= ~Class_::MODIFIER_FINAL;
+        $this->isDeprecated = false;
+    }
+
     /**
      * @param iterable<ConstInfo> $allConstInfos
      */
@@ -2182,6 +2192,7 @@ protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string
 
     public function discardInfoForOldPhpVersions(): void {
         $this->type = null;
+        $this->flags &= ~Class_::MODIFIER_READONLY;
     }
 
     /**
@@ -2478,8 +2489,6 @@ public function getRegistration(iterable $allConstInfos): string
 
         $code = '';
 
-        $php70MinimumCompatibility = $this->phpVersionIdMinimumCompatibility === null || $this->phpVersionIdMinimumCompatibility >= PHP_70_VERSION_ID;
-        $php80MinimumCompatibility = $this->phpVersionIdMinimumCompatibility === null || $this->phpVersionIdMinimumCompatibility >= PHP_80_VERSION_ID;
         $php81MinimumCompatibility = $this->phpVersionIdMinimumCompatibility === null || $this->phpVersionIdMinimumCompatibility >= PHP_81_VERSION_ID;
         $php82MinimumCompatibility = $this->phpVersionIdMinimumCompatibility === null || $this->phpVersionIdMinimumCompatibility >= PHP_82_VERSION_ID;