Learn more about these different git repos.
Other Git URLs
8b139e5
This JavaScript file was not actually called, but the <script> reference is causing browser errors, as explained in bz #176186.