diff -r 951a8d558e23 -r 9352f33732ae src/eric7/APIs/Python3/eric7.bas
--- a/src/eric7/APIs/Python3/eric7.bas Thu May 04 17:33:16 2023 +0200
+++ b/src/eric7/APIs/Python3/eric7.bas Thu May 04 17:34:24 2023 +0200
@@ -664,8 +664,15 @@
MicroPythonGraphWidget QWidget
MicroPythonPage ConfigurationPageBase Ui_MicroPythonPage
MicroPythonProgressInfoDialog QDialog Ui_MicroPythonProgressInfoDialog
+MicroPythonReplEdit QTextEdit
+MicroPythonReplWidget QWidget
MicroPythonSerialDeviceInterface MicroPythonDeviceInterface
MicroPythonSerialPort QSerialPort
+MicroPythonWebreplConnectionDialog QDialog Ui_MicroPythonWebreplConnectionDialog
+MicroPythonWebreplDeviceInterface MicroPythonDeviceInterface
+MicroPythonWebreplSocket QWebSocket
+MicroPythonWebreplUrlAddEditDialog QDialog Ui_MicroPythonWebreplUrlAddEditDialog
+MicroPythonWebreplUrlsConfigDialog QDialog Ui_MicroPythonWebreplUrlsConfigDialog
MicroPythonWidget QWidget Ui_MicroPythonWidget
MicrobitDevice BaseDevice
MicrosoftEngine TranslationEngine
