Fix seed code of PHP.