PHP按字符串获取文件扩展名

Question

我正在尝试通过给定字符串获取文件扩展名。

示例：

$s1 = "aFile.txt";
$s2 = "aFile.txt.unknownExtension";
if (strpos($s1, ".txt")) {
    return true;
} else if (strpos($s2, ".txt")) {   // My problem
    return true;
}

所以我的问题是，如果我使用$s2

，如何从这两个示例字符串获取文件扩展名，否则".txt"将成为strpos()文件