The code for PRO contains create_function which is a deprecated function.
Thanks for the heads up. Yes, I had seen the warning recently about it being deprecated in PHP 7.2. I’ll address it as soon as I can.
Warning or failure?
create_function still works, but in some future release of PHP it will stop being supported.