Here is a link to an adapter that will work. If those are the only 2 things he needs to charge, this will be great. If he is needing to charge more, he could always pack a power strip, plug everything into the power strip, then plug the power strip into this adapter and be fine. We always pack a power strip, plug all electronics into it and carry just one adapter. Most European hotels have very few outlets, so if he is sharing a room with someone, it might be a good idea to pack a power strip so everyone can charge at the same time.
http://www.amazon.com/dp/B00MNL3LRI?psc=1