PHP Option - 一个可选的类型库