Thanks Justin for highlighting this. Many of us worked very diligently to make this work.

Hopefully it allows WP to move its minimum PHP requirement in a much less painful manner.