[php] A "fix" to make List compile in PHP.