docs: Ignore extensions/ and skins/ in mwdocgen.php by default
authorTimo Tijhof <krinklemail@gmail.com>
Sat, 14 Sep 2019 18:31:53 +0000 (19:31 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Sat, 14 Sep 2019 20:58:03 +0000 (21:58 +0100)
commitea79a23e56cc5cd9515ac9c85ba2c412407171d5
tree70310da5064f573407280df5d22e3bb1bece2eab
parent9696b1d800d117b5ad3817d9c7a47908759b3641
docs: Ignore extensions/ and skins/ in mwdocgen.php by default

The default was previously to index all of core and extensions,
which is likely not the intent of someone running this for the
first time (which can then easily take over half an hour).

Even in CI, we never do this, and we never have afaik.

Generally, local use is to replicate CI (all of core), or a subset
of core by passing e.g. '--file includes/libs' or some such.

Indexing an extension is still possible, same way as before,
by passing '--file extensions/FooBar'. And, if one really wants
to index all of core and all extensions, the new '--extensions'
option allows one to opt back in to the old behaviour.

Also:
* Exclude all of 'resources/'. There are no PHP or Markdown files
  here that need to be indexed.

Bug: T232104
Change-Id: I55617776ac86f3fdcb6c1ba1eebe892edcb5fafb
maintenance/mwdocgen.php