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
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
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
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