phpspec for tokengenerator