[MediaWiki-commits] [Gerrit] Add extension.json, empty PHP entry point - change (mediawiki...Gadgets)

Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/208351 Change subject: Add extension.json, empty PHP entry point .. Add extension.json, empty PHP entry point Bug: T87918 Change-Id: Iacd056781823bd

[MediaWiki-commits] [Gerrit] Add extension.json, empty PHP entry point - change (mediawiki...Gadgets)

jenkins-bot has submitted this change and it was merged. Change subject: Add extension.json, empty PHP entry point .. Add extension.json, empty PHP entry point Bug: T87918 Change-Id: Iacd056781823bd73144c5fa09cd884ee8e9cf0d4 (c

[MediaWiki-commits] [Gerrit] Add extension.json, empty PHP entry point - change (mediawiki...Gadgets)

jenkins-bot has submitted this change and it was merged. Change subject: Add extension.json, empty PHP entry point .. Add extension.json, empty PHP entry point Bug: T87918 Change-Id: Iacd056781823bd73144c5fa09cd884ee8e9cf0d4 --