Stop triggering mediawiki-core-lint for exts

Was mean to have all extensions and core in the same gate but the job is
then broken :-D  Will find a better solution later.

Change-Id: I10e2591bf097f71da5e6f45bf4a2fe5d2d8fcbec