https://bugzilla.wikimedia.org/show_bug.cgi?id=43227
--- Comment #11 from Bartosz Dziewoński <[email protected]> --- This patch is for the Vector extension anyway, not for MediaWiki core. So you would have to update Vector. You can get the patch for this change using the command provided in the "Download -> patch" section on gerrit. Then you can apply it in the usual way. -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
