jenkins-bot has submitted this change and it was merged.

Change subject: Update mw and wm version numbers ......................................................................

Update mw and wm version numbers

Change-Id: Id0a0f6b9304bce716c9a07dd5873ffb42f8b2d81 --- M family.py 1 file changed, 2 insertions(+), 2 deletions(-)

Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified

diff --git a/family.py b/family.py index 1552df0..b717622 100644 --- a/family.py +++ b/family.py @@ -4331,7 +4331,7 @@ # Don't use this, use versionnumber() instead. This only exists # to not break family files. # Here we return the latest mw release for downloading - return '1.25.2' + return '1.25.3'

def versionnumber(self, code, version=None): """Return an int identifying MediaWiki version. @@ -4967,7 +4967,7 @@ # Don't use this, use versionnumber() instead. This only exists # to not break family files. # Here we return the latest mw release of wikimedia projects - return '1.27.0-wmf.1' + return '1.27.0-wmf.3'

def shared_image_repository(self, code): return ('commons', 'commons')