| 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 |