GPL version 3 added to php doc