664efd6 Disable the php extension, for now, the PHP 7 landed in rawhide

Authored and Committed by sergiomb 7 years ago
1 file changed. 13 lines added. 4 lines removed.
    Disable the php extension, for now, the PHP 7 landed in rawhide
    
        
file modified
+13 -4