mediawiki.inspect: Fix doc index for inspect.grep()
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 26 Jun 2018 17:11:13 +0000 (18:11 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 26 Jun 2018 17:11:13 +0000 (18:11 +0100)
commitcd13aea297f127ff244b11b29fea28367e2c8ed7
tree820a226b3946ddd703e227dacca96689b952961c
parent349cb8da0a5e681fb34fe21c4251e53ddfc7103d
mediawiki.inspect: Fix doc index for inspect.grep()

Because this was positioned linearly after the sub-object for
`mw.inspect.reports.*`, JSDuck was indexing this as part of that
object instead of the outer `mw.inspect.*` scope.

This could be fixed by adding `@member mw.inspect` on this method,
or by re-starting the `@class mw.inspect` scope, but really
this should've been declared closer to the rest of that class,
which naturally avoids the index issue.

Change-Id: Ib2c9dc861f7f062c05bc059643a1a676906d338f
resources/src/mediawiki.inspect.js