php/php-spec — pull request #5 by javiereguiluz (2014-07-30 20:43:57+00:00)
Title: Replaced word ligatures by correct characters

The original document was created using Microsoft Word.
That's why some words contained ligatures joining two
characters. Example: "deﬁnition" instead of "definition"