| Index: trunk/phase3/includes/OutputPage.php |
| — | — | @@ -2087,12 +2087,15 @@ |
| 2088 | 2088 | if( is_string( $source ) ) { |
| 2089 | 2089 | $this->addWikiMsg( 'viewsourcetext' ); |
| 2090 | 2090 | |
| | 2091 | + $pageLang = $this->getTitle()->getPageLanguage(); |
| 2091 | 2092 | $params = array( |
| 2092 | 2093 | 'id' => 'wpTextbox1', |
| 2093 | 2094 | 'name' => 'wpTextbox1', |
| 2094 | 2095 | 'cols' => $this->getUser()->getOption( 'cols' ), |
| 2095 | 2096 | 'rows' => $this->getUser()->getOption( 'rows' ), |
| 2096 | | - 'readonly' => 'readonly' |
| | 2097 | + 'readonly' => 'readonly', |
| | 2098 | + 'lang' => $pageLang->getCode(), |
| | 2099 | + 'dir' => $pageLang->getDir(), |
| 2097 | 2100 | ); |
| 2098 | 2101 | $this->addHTML( Html::element( 'textarea', $params, $source ) ); |
| 2099 | 2102 | |