Moving tests for PHP bug 52971 to HHVM test file format