github added and timer stuff to have timeout-based timer functionality inside plugins
github added and timer stuff to have timeout-based timer functionality inside plugins