@thespacedmonkey I’m beginning to consider doing something similar. Primarily for PHP, but also because my plugin relies heavily on date/time functionality and I have had to put in special checking for versions of both PHP and WordPress in order to make sure date/time is handled properly.