[MediaWiki-commits] [Gerrit] CodeEditor: Disable in IE7, too unstable. - change (mediawiki...CodeEditor)

2014-04-29 Thread TheDJ (Code Review)
TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/130324 Change subject: CodeEditor: Disable in IE7, too unstable. .. CodeEditor: Disable in IE7, too unstable. Bug: 64559 Change-Id:

[MediaWiki-commits] [Gerrit] CodeEditor: Disable in IE7, too unstable. - change (mediawiki...CodeEditor)

2014-04-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: CodeEditor: Disable in IE7, too unstable. .. CodeEditor: Disable in IE7, too unstable. Bug: 64559 Change-Id: I59a8cebf1d1c7f3e839295d8a85739d9c2dc2683