| Index: trunk/phase3/includes/EditPage.php |
| — | — | @@ -1452,7 +1452,7 @@ |
| 1453 | 1453 | if ( $this->wasDeletedSinceLastEdit() ) { |
| 1454 | 1454 | if ( 'save' != $this->formtype ) { |
| 1455 | 1455 | $wgOut->wrapWikiMsg( |
| 1456 | | - '<div class="error mw-deleted-while-editing">\n$1</div>', |
| | 1456 | + "<div class='error mw-deleted-while-editing'>\n$1</div>", |
| 1457 | 1457 | 'deletedwhileediting' ); |
| 1458 | 1458 | } else { |
| 1459 | 1459 | // Hide the toolbar and edit area, user can click preview to get it back |