cockpit-project/cockpit — pull request #558 by stefwalter (2014-05-12 19:04:11+00:00)
Title: web: Rename $cockpit.xxx to cockpit.xxx

Since $zzz is often used to indicate a jQuery selector, and
the usual convention is for global API like document.yyyy
or window.vvv is just in lower case.