| Index: trunk/phase3/includes/EditPage.php |
| — | — | @@ -1243,7 +1243,7 @@ |
| 1244 | 1244 | </div><!-- editButtons --> |
| 1245 | 1245 | </div><!-- editOptions -->"); |
| 1246 | 1246 | |
| 1247 | | - $wgOut->addHtml( '<div class="editTools">' ); |
| | 1247 | + $wgOut->addHtml( '<div class="mw-editTools">' ); |
| 1248 | 1248 | $wgOut->addWikiText( wfMsgForContent( 'edittools' ) ); |
| 1249 | 1249 | $wgOut->addHtml( '</div>' ); |
| 1250 | 1250 | |