Fixed linting issues

thegooman · jtpio · commit e4935c7a76bf · 2020-09-21T11:12:09.000+02:00
diff --git a/basics/signals/src/index.ts b/basics/signals/src/index.ts
@@ -39,6 +39,7 @@ const extension: JupyterFrontEndPlugin<void> = {
  * @param app Jupyter Font End
  * @param palette Jupyter Commands Palette
  * @param mainMenu Jupyter Menu
+ * @param translator Jupyter Translator
  * @param launcher [optional] Jupyter Launcher
  */
 function activate(
