Add missing dependency to module 'mediawiki.api.options'
Add missing dependency to module 'mediawiki.api.options'

Change-Id: I4bdbfacebb7f5b0082fbec542b4c7356e703e837

wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo,wikimedia/mediawiki-extensions-Echo