archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Merge branch 'PHP-8.0'

Browse source 
* PHP-8.0:
  Remove unnecessary cast in snmp_set_oid_output_format
This commit is contained in:
Nikita Popov 2021-02-02 16:44:12 +01:00
commit e591cc7575
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ext/snmp/snmp.c
View file

@ -1358,7 +1358,7 @@ PHP_FUNCTION(snmp_set_oid_output_format)
RETURN_THROWS();
}
switch((int) a1) {
switch (a1) {
case NETSNMP_OID_OUTPUT_SUFFIX:
case NETSNMP_OID_OUTPUT_MODULE:
case NETSNMP_OID_OUTPUT_FULL: