https://bugzilla.wikimedia.org/show_bug.cgi?id=35665

--- Comment #4 from Antoine "hashar" Musso <[email protected]> ---
(In reply to TeleComNasSprVen from comment #3)
> Do we really still need
> 
> $this->addOption( 'version', 'Pass a MediaWiki version', false, true );
> 
> in mwdocgen.php? Should that be replaced with SpecialVersion::getVersion()?

Continuous integration needs it to pass a custom version.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to