[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/123538 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/123299 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also some

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/123300 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON And now, the

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also some cleanup and status additions so

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122710 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122839 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/123091 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122328 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122457 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122112 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also remove

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also remove some superfluous configuration.

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/122268 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also update

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121948 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121970 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121852 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121875 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121603 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121621 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121649 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121330 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121358 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON SWM and SMaps are in a follow-up.

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121019 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121041 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also cleaned

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Also cleaned up some superfluous config.

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121082 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Raimond Spekking has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/121135 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Raimond Spekking has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/120795 Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id:

[MediaWiki-commits] [Gerrit] Update configuration for extensions migrated to JSON - change (translatewiki)

jenkins-bot has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON .. Update configuration for extensions migrated to JSON Change-Id: