[MediaWiki-commits] [Gerrit] docs: Remove JSDuck 4 support - change (mediawiki...VisualEditor)

2014-04-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: docs: Remove JSDuck 4 support .. docs: Remove JSDuck 4 support And migrate deprecated "-no_doc" option. Change-Id: I2e1e89408328c614a89f6c4e408df90d1e346

[MediaWiki-commits] [Gerrit] docs: Remove JSDuck 4 support - change (mediawiki...VisualEditor)

2014-04-29 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/130509 Change subject: docs: Remove JSDuck 4 support .. docs: Remove JSDuck 4 support And migrate deprecated "-no_doc" option. Change-Id: I2e1e8940

[MediaWiki-commits] [Gerrit] docs: Remove JSDuck 4 support - change (mediawiki...VisualEditor)

2014-04-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: docs: Remove JSDuck 4 support .. docs: Remove JSDuck 4 support And migrate deprecated "-no_doc" option. Change-Id: I2e1e89408328c614a89f6c4e408df90d1e346

[MediaWiki-commits] [Gerrit] docs: Remove JSDuck 4 support - change (mediawiki...VisualEditor)

2014-04-29 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/130406 Change subject: docs: Remove JSDuck 4 support .. docs: Remove JSDuck 4 support And migrate deprecated "-no_doc" option. Change-Id: I2e1e8940