jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/352871 )
Change subject: Add php-parallel-lint
......................................................................
Add php-parallel-lint
php-lint will test for valid php files
See T161895
Change-Id: I05630acdf3dc2bfaa04efa0129410210212912fa
---
A .gitignore
M composer.json
M skin.json
3 files changed, 15 insertions(+), 2 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..58875fd
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+/node_modules
+/vendor
diff --git a/composer.json b/composer.json
index f01c321..b2c73a8 100644
--- a/composer.json
+++ b/composer.json
@@ -8,7 +8,7 @@
"Google Material Design"
],
"homepage": "https://www.mediawiki.org/wiki/Skin:Material",
- "license": "GNU-GPL-3.0+",
+ "license": "GPL-3.0+",
"authors": [
{
"name": "Samantha Nguyen",
@@ -41,12 +41,20 @@
"issues":
"https://github.com/SamanthaNguyen/mediawiki-skins-Material/issues"
},
"require": {
- "MediaWiki": ">= 1.26.0",
"php": ">=5.4.4",
"param-processor/param-processor": "~1.0.0"
},
"config": {
"optimize-autoloader": true,
"prepend-autoloader": false
+ },
+ "require-dev": {
+ "jakub-onderka/php-parallel-lint": "0.9.2",
+ "jakub-onderka/php-console-highlighter": "0.3.2"
+ },
+ "scripts": {
+ "test": [
+ "parallel-lint . --exclude vendor"
+ ]
}
}
diff --git a/skin.json b/skin.json
index 57fe81d..0ffd99b 100644
--- a/skin.json
+++ b/skin.json
@@ -11,6 +11,9 @@
"url": "https://www.mediawiki.org/wiki/Skin:Material",
"descriptionmsg": "material-desc",
"license-name": "GPL-3.0+",
+ "requires": {
+ "MediaWiki": ">=1.26.0"
+ },
"type": "skin",
"ValidSkinNames": {
"material": "Material"
--
To view, visit https://gerrit.wikimedia.org/r/352871
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I05630acdf3dc2bfaa04efa0129410210212912fa
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/skins/Material
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits