New functionality for PHP