+ NSMutableAttributedString* source;
+
+ if (task.terminationStatus == 0) {
+ NSData* data = [[outPipe fileHandleForReading] readDataToEndOfFile];
+ source =
+ [[NSMutableAttributedString alloc] initWithHTML:data
+ options:@{ NSCharacterEncodingDocumentAttribute : @(NSUTF8StringEncoding) }
+ documentAttributes:nil];
+
+ // PHP uses in the highlighted output, which should be converted
+ // back to normal spaces.
+ NSMutableString* stringData = [source mutableString];
+ [stringData replaceOccurrencesOfString:@"\u00A0" withString:@" " options:0 range:NSMakeRange(0, stringData.length)];
+ } else {
+ NSLog(@"Failed to highlight PHP file %@: %@", filePath, [[errPipe fileHandleForReading] readDataToEndOfFile]);
+ }
+