Fix argument option for snmp_set_oid_numeric_print

Author: eskyuu

ext/snmp/snmp.stub.php

@@ -143,7 +143,7 @@ function snmp_set_output_option(Snmp\Output $option, bool $enable): void {}
     function snmp_set_string_output_format(Snmp\StringOutput $format): void {}
 
 /** @alias snmp_set_oid_output_format */
-    function snmp_set_oid_numeric_print(int $format): true {}
+    function snmp_set_oid_numeric_print(Snmp\OidOutput|int $format): true {}
 
     function snmp2_get(string $hostname, string $community, array|string $object_id, int $timeout = -1, int $retries = -1): mixed {}