Add XDebug to PHP extensions