Wikipedia talk:WikiProject User scripts/Scripts/External editor

From source: "// <pre>"
Souldn't "//" be inside the <pre> tag? Also shouldn't the <pre> tag be a <code> tag instead?
—User000name (talk) 04:23, 27 March 2015 (UTC)