diff -r fe5195fba5f7 -r 56614cf9d03c src/eric7/APIs/Python3/eric7.api
--- a/src/eric7/APIs/Python3/eric7.api Sat Jul 29 16:45:57 2023 +0200
+++ b/src/eric7/APIs/Python3/eric7.api Sat Jul 29 19:27:18 2023 +0200
@@ -2729,6 +2729,7 @@
eric7.MicroPython.Devices.DeviceBase.BaseDevice.hasNetworkTime?4()
eric7.MicroPython.Devices.DeviceBase.BaseDevice.hasTimeCommands?4()
eric7.MicroPython.Devices.DeviceBase.BaseDevice.hasWifi?4()
+eric7.MicroPython.Devices.DeviceBase.BaseDevice.isNetworkConnected?4()
eric7.MicroPython.Devices.DeviceBase.BaseDevice.lls?4(dirname="", fullstat=False, showHidden=False)
eric7.MicroPython.Devices.DeviceBase.BaseDevice.ls?4(dirname="")
eric7.MicroPython.Devices.DeviceBase.BaseDevice.mipInstall?4(package, index=None, target=None, version=None, mpy=True)
