Cinnamon Javascript Reference Manual
imports.ui.extension
Extension