I found the error. It happens with the NoAds Opera extension installed and active. In the last step of your "startup" module this line is executed:
document.write("\x3cscript src=\"//bits.wikimedia.org/www.mediawiki.org/load.php?debug=true\x26amp;lang=en\x26amp;modules=jquery%2Cmediawiki\x26amp;only=scripts\x26amp;skin=vector\x26amp;version=20111007T213533Z\"\x3e\x3c/script\x3e");
This line is blocked by the extension. But it is not blocked at wikipedia.org. Why not? My answer: There is a difference in both scripts. At the end of the line shown above this part is missing:
Please add this.
PS: The function linkedScript() in Html.php does not output the type attribute in HTML5 mode. Why not? Please always output the type attribute for compatibility reasons, even if it's the default value type="text/javascript"
. It's not wrong to do this according to the spec.
PPS: Reported at bugzilla:31920.
PPPS: I'm sorry. I was sure I found the reason but adding type="text/javascript" does not help. Still a strange bug. No problem at de.wikipedia.org with this (bad) extension enabled. I think I will look for an other extension that's better maintained.
PPPPS: Same problem with an other extension. The reason is pretty simple: It blocks all external scripts. wikipedia.org is on the default white list that comes with the extension. mediawiki.org is not on the white list. That's the difference.
PPPPPS: How do I edit the wrong date under this post? --TMg 00:00, 25 October 2011 (UTC)