From 0c00004f1fd736c0f72a57047543cd0c464eef6b Mon Sep 17 00:00:00 2001
From: Jackey Cheung <eidng8@users.noreply.github.com>
Date: Fri, 30 Jan 2015 16:07:44 +0800
Subject: [PATCH] Cater for character encodings other than ASCII

Use workspace character encoding setting while ready files.
---
 src/org/phpsrc/eclipse/pti/core/php/source/PHPSourceFile.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/phpsrc/eclipse/pti/core/php/source/PHPSourceFile.java b/src/org/phpsrc/eclipse/pti/core/php/source/PHPSourceFile.java
index 10dfc48..6db5bc6 100644
--- a/src/org/phpsrc/eclipse/pti/core/php/source/PHPSourceFile.java
+++ b/src/org/phpsrc/eclipse/pti/core/php/source/PHPSourceFile.java
@@ -43,7 +43,7 @@ private void determineLinePositions(IFile file) throws CoreException, IOExceptio
 		lineStartTabCount = new ArrayList<Integer>();
 
 		InputStreamReader isr;
-		isr = new InputStreamReader(file.getContents());
+		isr = new InputStreamReader(file.getContents(), ResourcesPlugin.getEncoding());
 
 		int last = -1;
 		int i = 0;