[01:16:27] wikimedia/less.php v4.2.0 is tagged https://gerrit.wikimedia.org/g/mediawiki/libs/less.php/+/v4.2.0/CHANGES.md. Lots of improvements and bug fixes by JustHannah. [01:17:15] Reason for the tag at this specific point was to push out fixes for two bugs reported by third party users in the last month. We're still continuing with T288498, and more will follow in the next release. Releases are cheap :) [01:17:16] T288498: Update less.php port to support Less.js 3.13 behaviours - https://phabricator.wikimedia.org/T288498 [01:17:40] Plus, this way we can get some feedback along the way, so that we hear about any issues earlier instead of after many more changes. [01:17:49] (potential regressions etc)