fixup, both catched by nikic

diff --git a/ext/standard/tests/file/filetype_variation2.phpt b/ext/standard/tests/file/filetype_variation2.phpt
index bf1d321f127b4d66d7e53c12d0ce80b1f2ad8e5c..125b48c02c07e9a2ab1df50b482869e061fe346a 100644 (file)
--- a/ext/standard/tests/file/filetype_variation2.phpt
+++ b/ext/standard/tests/file/filetype_variation2.phpt
@@ -8,7 +8,7 @@ if (substr(PHP_OS, 0, 3) == 'WIN') {
     die('skip no /dev on Windows');
 }
 if (!file_exists("/dev/null")) {
-    die('skip /dev/console not available');
+    die('skip /dev/null not available');
 }    
 ?>
 --FILE--

diff --git a/travis/de b/travis/de
deleted file mode 100644 (file)
index ae49d96..0000000
--- a/travis/de
+++ /dev/null
@@ -1,2 +0,0 @@
-de_DE.UTF-8 UTF-8
-de_DE ISO-8859-1