livereload/livereload-extensions — pull request #5 by gavro (2012-04-01 14:39:10+00:00)
Title: Opera Extension

Simplified extension: Global.js is gone; Livereload.js as part of the
package is a no-go; Using the localhost fallback permanently for now;
All of the web socket functionality is skipped, as it is done from
livereload.js already