I finally found a chance to update my WordPress plugins to comply with PHP 7.2 changes. Here are the stats for my plugins’ downloads for the first day: