| 1 | <?php  | 
            ||
| 20 | class Util  | 
            ||
| 21 | { | 
            ||
| 22 | /**  | 
            ||
| 23 | * Array representation of a path.  | 
            ||
| 24 | *  | 
            ||
| 25 | * @param string $path  | 
            ||
| 26 | * @return array  | 
            ||
| 27 | */  | 
            ||
| 28 | public static function pathToArray($path)  | 
            ||
| 32 | |||
| 33 | /**  | 
            ||
| 34 | * Is the given subDir a sub directory of given parentDir.  | 
            ||
| 35 | *  | 
            ||
| 36 | * @param array $subDir  | 
            ||
| 37 | * @param array $parentDir  | 
            ||
| 38 | * @return bool  | 
            ||
| 39 | */  | 
            ||
| 40 | public static function isSubDirectoryOf(array $subDir, array $parentDir)  | 
            ||
| 49 | |||
| 50 | /**  | 
            ||
| 51 | * Return the relative path from parentDir to subDir.  | 
            ||
| 52 | *  | 
            ||
| 53 | * @param array $subDir  | 
            ||
| 54 | * @param array $parentDir  | 
            ||
| 55 | * @return string  | 
            ||
| 56 | */  | 
            ||
| 57 | public static function getSubPathOf(array $subDir, array $parentDir)  | 
            ||
| 69 | }  | 
            ||
| 70 |