Searching for non trivial information (peices of code or sentances) on the docs.moodle.org/dev using Mediawiki's own internal search engine does not seem to find anything (in many cases) although it exsit inside the pages.
For example, looking for "params_for_js" returned "There were no results matching the query."
While using DockDuckGo (or Google) return very useful (many) results.
So what am I actually suggesting...
Embed DockDockGo (or Google) search into the mediawiki's "results" page. especially, when no results can be found by the internal engine.
As it seems not everyone aware of the limitation the mediawiki search engine has, and come out with a feeling that the docs.moodle.org is missing valuable information. which it's not!