Legoktm has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/406071 )

Change subject: Add ockcyp/covers-validator
......................................................................

Add ockcyp/covers-validator

This validates @covers tags without needing to run coverage itself.

Bug: T185659
Change-Id: I7a32f5137aea4ba450e684a5c976391139d2494a
---
M hooks/post_gen_project.py
M {{ cookiecutter.library_name }}/composer.json
2 files changed, 2 insertions(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/tools/cookiecutter-library 
refs/changes/71/406071/1

diff --git a/hooks/post_gen_project.py b/hooks/post_gen_project.py
index 0e0aa13..3e325c4 100644
--- a/hooks/post_gen_project.py
+++ b/hooks/post_gen_project.py
@@ -27,6 +27,7 @@
     'jakub-onderka/php-console-highlighter': '0.3.2',
     'mediawiki/mediawiki-codesniffer': '15.0.0',
     'mediawiki/minus-x': '0.2.1',
+    'ockcyp/covers-validator': '0.5.1',
     'phpunit/phpunit': '4.8.36',
 }
 
diff --git "a/\173\173 cookiecutter.library_name \175\175/composer.json" 
"b/\173\173 cookiecutter.library_name \175\175/composer.json"
index 8859b3e..81fb220 100644
--- "a/\173\173 cookiecutter.library_name \175\175/composer.json"
+++ "b/\173\173 cookiecutter.library_name \175\175/composer.json"
@@ -22,6 +22,7 @@
                "test": [
                        "parallel-lint . --exclude vendor",
                        "phpunit",
+                       "covers-validator",
                        "phpcs -sp",
                        "minus-x check ."
                ],

-- 
To view, visit https://gerrit.wikimedia.org/r/406071
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I7a32f5137aea4ba450e684a5c976391139d2494a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/cookiecutter-library
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to