Gush supports PHP 5.4+ AFAIK, haven't seen any 5.5 features in the code. That lib (originally created by nikic) is nice, but IMHO we shouldn't add libraries just because it's useful in one place. If it can be used in other places around the code as well, then it's fine to use it.