Awesome, thanks for making that change! I probably have a half dozen commits on the plugin I wrote for our site with exactly that same change, after deploying from my workstation to the stageing environment ??
It does sound like our not-too-distant plan is to move this to hosting that supports a modern PHP, so hopefully we won’t be crying when 5.3 does get dropped.