Small addition to PHP protocol.