So... this seems to have snuck back in a month ago: https://www.mediawiki.org/wiki/Special:Code/MediaWiki/101021
https://bugzilla.wikimedia.org/show_bug.cgi?id=21860
Have we resolved the deployment questions on how to actually do the change? Just want to make sure ops has plenty of warning before 1.19 comes down the pipe. (Especially if we have to revert anything back to 1.18 during/after!)
-- brion