yea, that was added to PHP ages ago /facepalm