[Wikidata-bugs] [Maniphest] [Commented On] T256244: Migrate client $wgExtensionFunctions to extension JSON

gerritbot added a comment. Change 607826 **merged** by jenkins-bot: [mediawiki/extensions/Wikibase@master] Migrate Client ExtensionFunctions to extension JSON https://gerrit.wikimedia.org/r/607826 TASK DETAIL https://phabricator.wikimedia.org/T256244 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T256244: Migrate client $wgExtensionFunctions to extension JSON

gerritbot added a comment. Change 607826 had a related patch set uploaded (by Lucas Werkmeister (WMDE); owner: Lucas Werkmeister (WMDE)): [mediawiki/extensions/Wikibase@master] Migrate Client ExtensionFunctions to extension JSON https://gerrit.wikimedia.org/r/607826 TASK DETAIL