wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 18:31:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Enable WikiEditor toolbar on iOS"

Browse source
This commit is contained in:
jenkins-bot 2014-06-03 18:59:58 +00:00 committed by Gerrit Code Review
parent b7bb38ff39 f64a3c26c6
commit 388482c0b8
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/jquery.wikiEditor.js
View file

@ -55,8 +55,8 @@ $.wikiEditor = {
chrome: [['>=', 3]],
netscape: [['>=', 9]],
blackberry: false,
ipod: false,
iphone: false
ipod: [['>=', 6]],
iphone: [['>=', 6]]
},
// Right-to-left languages
rtl: {
@ -71,8 +71,8 @@ $.wikiEditor = {
chrome: [['>=', 3]],
netscape: [['>=', 9]],
blackberry: false,
ipod: false,
iphone: false
ipod: [['>=', 6]],
iphone: [['>=', 6]]
}
},