resourceloader: Move FILTER_NOMIN annotation to the beginning of output
authorBartosz Dziewoński <matma.rex@gmail.com>
Tue, 30 Jan 2018 11:12:46 +0000 (12:12 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 30 Jan 2018 19:12:34 +0000 (19:12 +0000)
commita129d68344ff6eb8e42f56b6ad1efc9dcd32d73f
tree93905f6bec2dc76ca9613695cb3f7970ea676615
parent1e946e8e65ffc43ed923e1b499515f83adc2a323
resourceloader: Move FILTER_NOMIN annotation to the beginning of output

This allows ResourceLoader::filter() to handle this case slightly
faster, since it searches for this annotation from the beginning.
In practice this is a negligible performance optimization, but let's
set a good example for the future.

Also tweak the comments and whitespace:
* Move comment about the FILTER_NOMIN from doc comment to code comment,
  it's an implementation detail and not meant for public documentation
* Remove duplicated documentation from the parent class
* Change whitespace to be identical in both cases

Change-Id: I624914ff28d903027ba58710708ccc3c66af9e24
includes/resourceloader/ResourceLoaderUserOptionsModule.php
includes/resourceloader/ResourceLoaderUserTokensModule.php