jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/334345 )
Change subject: wmf: add composer.json to fork JetBrains/phpstorm-stubs ...................................................................... wmf: add composer.json to fork JetBrains/phpstorm-stubs We need to pull https://github.com/JetBrains/phpstorm-stubs/ using composer. Add .gitreview for Gerrit A basic README-wikimedia.md file to give some context. Rough minimal composer.json so we can publish it on packagist.org Once upstream adds similar support and publish their software, we can dish out our fork. See https://github.com/JetBrains/phpstorm-stubs/pull/149 Bug: T153252 Change-Id: I3784dbd8a103e7bdf169b8c6acc4f2adffa7500f --- A .gitreview A README-wikimedia.md A composer.json 3 files changed, 23 insertions(+), 0 deletions(-) Approvals: Addshore: Looks good to me, approved jenkins-bot: Verified diff --git a/.gitreview b/.gitreview new file mode 100644 index 0000000..5f699d7 --- /dev/null +++ b/.gitreview @@ -0,0 +1,6 @@ +[gerrit] +host=gerrit.wikimedia.org +port=29418 +project=mediawiki/libs/phpstorm-stubs.git +track=1 +defaultrebase=0 diff --git a/README-wikimedia.md b/README-wikimedia.md new file mode 100644 index 0000000..0f5553e --- /dev/null +++ b/README-wikimedia.md @@ -0,0 +1,11 @@ +# mediawiki/libs/phpstorm-stubs.git + +A fork of https://github.com/JetBrains/phpstorm-stubs/ solely so we can have it +published on packagist.org and then injected in the Wikimedia continuous +integration builds by using composer. + +Upstream has a pending pull request to add composer.json: +https://github.com/JetBrains/phpstorm-stubs/pull/149 + +Once merged and the package is published, this Wikimedia fork can be +abandonned. diff --git a/composer.json b/composer.json new file mode 100644 index 0000000..344f748 --- /dev/null +++ b/composer.json @@ -0,0 +1,6 @@ +{ + "name": "mediawiki/phpstorm-stubs", + "description": "Fork of https://github.com/JetBrains/phpstorm-stubs/ for packagist.org publishing", + "license": "Apache-2.0", + "homepage": "https://github.com/JetBrains/phpstorm-stubs"; +} -- To view, visit https://gerrit.wikimedia.org/r/334345 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3784dbd8a103e7bdf169b8c6acc4f2adffa7500f Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/libs/phpstorm-stubs Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: EBernhardson <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
