Le 05/10/12 19:11, bawolff a écrit :
It would be nice if jenkins also did a run with some
non-default
options. Obviously we have a lot of options, but doing at least 1 run
with some of the common variations (say $wgCapitalLinks) would help
quite a bit I imagine.
The Jenkins job setup a default MediaWiki install which mean it is
mostly using DefaultSettings.php. If we want to test wgCapitalLinks, we
should write tests for that feature and adapt existing tests to take in
account that global variable.
--
Antoine "hashar" Musso