Mark extensions as such in search index

Author: Seldaek

src/Command/IndexPackagesCommand.php

@@ -234,6 +234,10 @@ private function packageToSearchableArray(Package $package, array $tags): array
             $record['replacementPackage'] = '';
         }
 
+        if (in_array($package->getType(), ['php-ext', 'php-ext-zend'], true)) {
+            $record['extension'] = 1;
+        }
+
         $record['tags'] = $tags;
 
         return $record;