Automatic properties for PHP