Are parameters for spi, pin_cs and pin_rst necessary on Wiznet5K Pico

Question

I have a Wiznet 5100S Pico on which I installed W5100S_EVB_PICO-20220618-v1.19.1.uf2 from the micropython site.

I wrote a small routine for my Wiznet 5100S Pico in Thonny, neglecting to add parameters when I initialized it.

import network
import socket
from machine import Pin
import time
import config

nic = network.WIZNET5K()

The routine runs fine. But it's time to expand it, so I created a new project in PyCharm. Now the code checker is warning me that I'm missing parameters in the nic = network.WIZNET5K() line.

Just wondering if this is an issue or did Micropython cover adding the proper parameters in their firmware for this model?