MEDIUM: Remove unused files

This commit is contained in:
Bertrand Jacquin 2015-04-13 21:33:30 +01:00
parent 2bf5829e21
commit c56f2aabe0
3 changed files with 0 additions and 41 deletions

View File

@ -1,15 +0,0 @@
; http://editorconfig.org/
[*]
indent_style = space
indent_size = 4
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
[inc/{geshi,phpseclib}/**]
; Use editor default (possible autodetection).
indent_style =
indent_size =
trim_trailing_whitespace = false
insert_final_newline = false

View File

@ -1,16 +0,0 @@
language: php
php:
- "5.6"
- "5.5"
- "5.4"
- "5.3"
notifications:
irc:
channels:
- "chat.freenode.net#dokuwiki"
on_success: change
on_failure: change
install:
- wget https://phar.phpunit.de/phpunit-4.3.5.phar -O _test/phpunit
- chmod 755 _test/phpunit
script: cd _test && ./phpunit --verbose --stderr

View File

@ -1,10 +0,0 @@
language: php
php:
- "5.5"
- "5.4"
- "5.3"
env:
- DOKUWIKI=TestRequest
before_install: wget https://raw.github.com/lisps/dokuwiki-travis/master/travis.sh
install: sh travis.sh
script: cd _test && phpunit --stderr --group plugin_const