456beea Update php/utils

Authored and Committed by jheger 5 years ago
    Update php/utils
    
    Merge of downstream changes.
    
        
file modified
+32 -0