Giovanni Campagna aa38aa1e9e alternative-status-menu: port to new extension API ...

main() has been	replaced by init(), enable() and disable()
possibly not working, a better infrastructure for monkey patching
would be helpful

2011-08-02 23:32:51 +02:00

..

extension.js

alternative-status-menu: port to new extension API

2011-08-02 23:32:51 +02:00

Makefile.am

Add Alternative Status Menu extensions

2011-03-12 22:10:23 +01:00

metadata.json.in

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

stylesheet.css

Add Alternative Status Menu extensions

2011-03-12 22:10:23 +01:00