Patch: Dropping <strike> for semantically rich <del>

[roy@…]

AFAIK, <strike> is in the same family of tags like <b> and <i>, while technically still valid, are being slowly falling out of favor for the more semantically rich <del>. I've fixed this in my local copy, but I'm not sure how to send it to you guys... line 4049 in htmlarea.js:

  html = html.replace(/<(\/?)strike(\s|>|\/)/ig, "<$1del$2");

line 4078 in htmlarea.js:

    html = html.replace(/<(\/?)del(\s|>|\/)/ig, "<$1strike$2");

line 4532 in htmlarea.js:

HTMLArea._closingTags = " head script style div span tr td tbody table em strong del b i strike code cite dfn abbr acronym font a title textarea select form ";

[roy@…]

modifying strike to del

[ursm@…]

Please apply this patch, or ask for clarification, should be straight forward

[gogo]

Applied in changeset:275