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.