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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
