minimal PHP docs