Deactivate a WordPress Plugin Depending on Another Plugin’s Activation State