Migrated additional plugins to the new v4.0 plugin template.

The following plugins were migrated to the new v4.0 plugin template:
* Menu
* Navcurrent
* Resize
* Session timeout
* Text highlighting
* Toggle