Subida del módulo y tema de PrestaShop

vendor/league/uri-interfaces/Contracts/PortInterface.php

@@ -0,0 +1,22 @@
+<?php
+
+/**
+ * League.Uri (https://uri.thephpleague.com)
+ *
+ * (c) Ignace Nyamagana Butera <nyamsprod@gmail.com>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+declare(strict_types=1);
+
+namespace League\Uri\Contracts;
+
+interface PortInterface extends UriComponentInterface
+{
+    /**
+     * Returns the integer representation of the Port.
+     */
+    public function toInt(): ?int;
+}