I found these thanks to PHPStorm. Change-Id: Ieb30a95debb58d3a454ac3c6f0546e5dbbe77ed4
mediawiki/class-doc