1
0
mirror of https://github.com/e107inc/e107.git synced 2025-08-04 05:37:32 +02:00
This commit is contained in:
Achim Ennenbach
2018-05-15 22:37:54 +02:00

View File

@@ -10,18 +10,8 @@ settings:
coverage: coverage:
enabled: true enabled: true
include: include:
- ../e107_handlers/*.php - e107/*.php
exclude: - e107/**/*.php
- ../dump/*
- ../phpunit/*
- ../temp/*
- ../test/*
- ../tmp/*
- ../e107_docs/*
- ../e107_files/*
- ../e107_media/*
- ../e107_system/*
params: params:
- lib/config.php - lib/config.php
extensions: extensions: