Editor does not handle preformatted Wiki Text correctly in mediawiki extension

[Dion Rowney]

Descriptive summary :

When creating preformatted wiki text the editor converts carriage returns to HTML BRs and it should not. This can be seen even when clicking on the wiki text button to toggle back and forth.

Steps to reproduce :

-Edit a Page. -change style to Formatted Text -enter a line of text -press shift-enter to start a new line in that preformatted area -type the next line in the block -repeat as desired -click "wikitext" button

now look at wiki text - it translated the shift-enters into BRs... now toggle back to WYSIWYG... the brs are now in the preformatted block.

Browser name and OS : Linux, firefox 1.5 and 2.0 - i assume repeatable problem in most any browser.

[Dion Rowney]

Sorry, retyped using wikitext bullets (i hope):

*Edit a Page.

*change style to Formatted Text

*enter a line of text

*press shift-enter to start a new line in that preformatted area

*type the next line in the block

*repeat as desired

*click "wikitext" button

*now look at wiki text - it translated the shift-enters into BRs...

*now toggle back to WYSIWYG... the brs are now in the preformatted block.

[Wiktor Walc]

I've made small change of handling <pre> tags with [952].

Let's mark this ticket as a dup of #1021 and continue discussion there.