PHP SmartyPants is a port to PHP of the SmartyPants script by John Gruber; PHP SmartyPants typographer adds extra features and is maintained in the separate "typo" branch.