Last modified: 2014-02-12 23:53:19 UTC
<script type="text/javascript" language="javascript" src="//bits.wikimedia.org/w/extensions-1.18/MobileFrontend/javascripts//application.js?version=10202011120715"></script> Usually harmless, but it's nice not to inject extra slashes in paths.
Fixed now in r101765.