Add php extension (XDebug)