Fix linting on php 5.3.3

fprochazka · fprochazka · commit 380b8422b535 · 2014-02-24T14:24:35.000+01:00
diff --git a/src/Manager.php b/src/Manager.php
@@ -243,7 +243,7 @@ protected function getFilesFromPaths(array $paths, array $extensions, array $exc
 
                 /** @var \SplFileInfo[] $iterator */
                 foreach ($iterator as $directoryFile) {
-                    if (isset($extensions[$directoryFile->getExtension()])) {
+                    if (isset($extensions[pathinfo($directoryFile->getFilename(), PATHINFO_EXTENSION)])) {
                         $files[] = (string) $directoryFile;
                     }
                 }

Original file line number	Diff line number	Diff line change
`@@ -243,7 +243,7 @@ protected function getFilesFromPaths(array $paths, array $extensions, array $exc`
`243`	`243`
`244`	`244`	`/** @var \SplFileInfo[] $iterator */`
`245`	`245`	`foreach ($iterator as $directoryFile) {`
`246`		`- if (isset($extensions[$directoryFile->getExtension()])) {`
	`246`	`+ if (isset($extensions[pathinfo($directoryFile->getFilename(), PATHINFO_EXTENSION)])) {`
`247`	`247`	`$files[] = (string) $directoryFile;`
`248`	`248`	`}`
`249`	`249`	`}`