@@ 1005-1021 (lines=17) @@ | ||
1002 | * @return bool|string False if no such file exists, otherwise returns |
|
1003 | * a path to it. |
|
1004 | */ |
|
1005 | public static function getExtAuthorsFileName( $extDir ) { |
|
1006 | if ( !$extDir ) { |
|
1007 | return false; |
|
1008 | } |
|
1009 | ||
1010 | foreach ( scandir( $extDir ) as $file ) { |
|
1011 | $fullPath = $extDir . DIRECTORY_SEPARATOR . $file; |
|
1012 | if ( preg_match( '/^((AUTHORS)|(CREDITS))(\.txt|\.wiki|\.mediawiki)?$/', $file ) && |
|
1013 | is_readable( $fullPath ) && |
|
1014 | is_file( $fullPath ) |
|
1015 | ) { |
|
1016 | return $fullPath; |
|
1017 | } |
|
1018 | } |
|
1019 | ||
1020 | return false; |
|
1021 | } |
|
1022 | ||
1023 | /** |
|
1024 | * Obtains the full path of an extensions copying or license file if |
|
@@ 1034-1050 (lines=17) @@ | ||
1031 | * @return bool|string False if no such file exists, otherwise returns |
|
1032 | * a path to it. |
|
1033 | */ |
|
1034 | public static function getExtLicenseFileName( $extDir ) { |
|
1035 | if ( !$extDir ) { |
|
1036 | return false; |
|
1037 | } |
|
1038 | ||
1039 | foreach ( scandir( $extDir ) as $file ) { |
|
1040 | $fullPath = $extDir . DIRECTORY_SEPARATOR . $file; |
|
1041 | if ( preg_match( '/^((COPYING)|(LICENSE))(\.txt)?$/', $file ) && |
|
1042 | is_readable( $fullPath ) && |
|
1043 | is_file( $fullPath ) |
|
1044 | ) { |
|
1045 | return $fullPath; |
|
1046 | } |
|
1047 | } |
|
1048 | ||
1049 | return false; |
|
1050 | } |
|
1051 | ||
1052 | /** |
|
1053 | * Convert an array of items into a list for display. |