Is upgrading to php 7 worth the pain? I need it for xDebug | Hacker News Reader