diff -r 6ee2e475490c -r 665f1084ebf9 src/eric7/APIs/Python3/eric7.api
--- a/src/eric7/APIs/Python3/eric7.api Tue Apr 09 14:27:03 2024 +0200
+++ b/src/eric7/APIs/Python3/eric7.api Wed Apr 10 10:45:31 2024 +0200
@@ -8574,6 +8574,7 @@
eric7.QScintilla.Editor.Editor.getLanguage?4(normalized=True, forPygments=False)
eric7.QScintilla.Editor.Editor.getLexer?4()
eric7.QScintilla.Editor.Editor.getMenu?4(menuName)
+eric7.QScintilla.Editor.Editor.getModificationTime?4()
eric7.QScintilla.Editor.Editor.getMouseClickHandler?4(modifiers, button)
eric7.QScintilla.Editor.Editor.getMouseClickHandlers?4(name)
eric7.QScintilla.Editor.Editor.getNoName?4()
