diff -r a2b4a45e14de -r f059575254df Documentation/Source/eric5.PluginManager.PluginManager.html
--- a/Documentation/Source/eric5.PluginManager.PluginManager.html Sat Feb 01 18:41:02 2014 +0100
+++ b/Documentation/Source/eric5.PluginManager.PluginManager.html Sun Feb 02 18:42:51 2014 +0100
@@ -53,15 +53,15 @@
<dd>
emitted just
before a plugin is activated
-</dd><dt>pluginAboutToBeDeactivated(modulName, pluginObject)</dt>
+</dd><dt>pluginAboutToBeDeactivated(moduleName, pluginObject)</dt>
<dd>
emitted just
before a plugin is deactivated
-</dd><dt>pluginActivated(modulName, pluginObject)</dt>
+</dd><dt>pluginActivated(moduleName, pluginObject)</dt>
<dd>
emitted just after
a plugin was activated
-</dd><dt>pluginDeactivated(modulName, pluginObject)</dt>
+</dd><dt>pluginDeactivated(moduleName, pluginObject)</dt>
<dd>
emitted just after
a plugin was deactivated
