A package installer for phrototyped PHP modules