jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326269 )
Change subject: Remove some dot files
......................................................................
Remove some dot files
Change-Id: If498c69308125e61aea0fe41ba35761722abb498
---
D .scrutinizer.yml
D .travis.yml
2 files changed, 0 insertions(+), 63 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.scrutinizer.yml b/.scrutinizer.yml
deleted file mode 100644
index 2aa77c5..0000000
--- a/.scrutinizer.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-filter:
- excluded_paths:
- - 'vendor/*'
-
-tools:
- php_mess_detector:
- config:
- controversial_rules: { superglobals: false }
- php_cpd: true
- php_pdepend: true
- php_code_coverage: false
- php_code_sniffer: true
- php_cs_fixer: true
- php_loc: true
- php_analyzer: true
- sensiolabs_security_checker: true
- external_code_coverage:
- timeout: '900'
-
-checks:
- php:
- code_rating: true
- duplication: true
\ No newline at end of file
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 3e5074a..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-language: php
-
-env:
- - THENEEDFORTHIS=FAIL
-
-matrix:
- fast_finish: true
- include:
- - env: DB=mysql; MW=1.25.1; TYPE=coverage
- php: 5.6
- - env: DB=mysql; MW=1.23.9;
- php: 5.4
- - env: DB=sqlite; MW=1.24.1; SITELANG=ja
- php: 5.5
- - env: DB=sqlite; MW=master; PHPUNIT=4.7.*
- php: '7'
- exclude:
- - env: THENEEDFORTHIS=FAIL
- allow_failures:
- - env: DB=sqlite; MW=master; PHPUNIT=4.7.*
-
-install:
- - bash ./tests/travis/install-mediawiki.sh
- - bash ./tests/travis/install-semantic-meta-tags.sh
-
-script:
- - bash ./tests/travis/run-tests.sh
-
-after_success:
- - bash ./tests/travis/upload-coverage-report.sh
-
-notifications:
- email:
- on_success: change
- on_failure: always
- irc:
- channels:
- - "chat.freenode.net#semantic-mediawiki"
- on_success: change
- on_failure: always
--
To view, visit https://gerrit.wikimedia.org/r/326269
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If498c69308125e61aea0fe41ba35761722abb498
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SemanticMetaTags
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
