Wikipedia talk:WikiProject User scripts/Scripts/External editor

From source: "// &lt;pre&gt;"

Souldn't "//" be inside the &lt;pre&gt; tag? Also shouldn't the &lt;pre&gt; tag be a &lt;code&gt; tag instead?

&mdash;User000name (talk) 04:23, 27 March 2015 (UTC)