Added missing credits to PHP documentation