Updated PhpLib
Fixed the use of Set::extract.