Comment by fullstop

I barely use PHP these days, but Docker seems like a great place to put it.