wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix console directionality

Browse source 
Add dir="ltr" and lang="en" to the console element.

Change-Id: I73e6e35d2045dc4a7af7ab16799d4e0f06af0bec
This commit is contained in:
Amir E. Aharoni 2012-08-15 12:16:43 +03:00
parent d6312c80c4
commit b70f8a064e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ext.scribunto.edit.js
View file

@ -350,7 +350,9 @@ mw.scribunto.edit = {
id: 'mw-scribunto-input', id: 'mw-scribunto-input',
'class': 'mw-scribunto-input', 'class': 'mw-scribunto-input',
wrap: 'off', wrap: 'off',
rows: 1 rows: 1,
dir: 'ltr',
lang: 'en'
}) })
.bind( 'keydown', inputKeydown ) .bind( 'keydown', inputKeydown )
.bind( 'focus', inputFocus ) .bind( 'focus', inputFocus )