A very simple php module for puppet