1
0
mirror of https://github.com/e107inc/e107.git synced 2025-08-02 04:40:44 +02:00

adapted to my system

This commit is contained in:
Achim Ennenbach
2018-05-13 17:48:33 +02:00
parent f165fe0f21
commit 0a3e3fde36

View File

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