From d7f4bf2d490340e7643cd9171623697b4082e603 Mon Sep 17 00:00:00 2001
From: Rasmus Lerdorf <rasmus@php.net>
Date: Mon, 8 Jun 2015 09:05:32 -0700
Subject: [PATCH] Forgot to add DigitalOcean here

---
 thanks.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/thanks.php b/thanks.php
index 6757bf5d3..f99ed1986 100644
--- a/thanks.php
+++ b/thanks.php
@@ -29,6 +29,11 @@ site_header("Thanks", array("current" => "community"));
  IP address to country lookup information.
 </li>
 
+<li>
+ <a href="https://www.digitalocean.com/">DigitalOcean</a> provides
+ VMs for a number of PHP services.
+</li>
+
 <li>
  <a href="http://promote.pair.com/direct.pl?php.net">pair Networks</a>
  provides the servers and bandwidth for PEAR, PECL and mailing list services.