View Revisions: Note 4216

Summary 0001273: impossible to build correct xdebug for PHP5.6 if PHP7.0 also installed