I'm seeing these kind of script includes on third party sites all the time these days, for example, for the Google Maps API:
<script type="text/javascript" src="//maps.googleapis.com/maps/api/js?key=YOUR_API_KEY&sensor=false"></script>
What does this prefix of '//' mean ? That it uses whatever protocol the user is running (http, https)?