Updated minimum PHP version to 7.2.  (We need at least 7.0 to fix the deprecated notices about missing return types when implementing an interface when running PHP 8.1)