--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Documentation/Source/index-eric7.Plugins.UiExtensionPlugins.html	Thu Jul 07 11:23:56 2022 +0200
@@ -0,0 +1,23 @@
+<!DOCTYPE html>
+<html><head>
+<title>eric7.Plugins.UiExtensionPlugins</title>
+<meta charset="UTF-8">
+<link rel="stylesheet" href="styles.css">
+</head>
+<body>
+<h1>eric7.Plugins.UiExtensionPlugins</h1>
+
+<p>
+Package containing the various interface extension plug-ins.
+</p>
+
+<h3>Packages</h3>
+<table>
+
+<tr>
+<td><a href="index-eric7.Plugins.UiExtensionPlugins.Translator.html">Translator</a></td>
+<td>Package implementing the translator.</td>
+</tr>
+</table>
+
+</body></html>
\ No newline at end of file