}
}
- static String getEncoding(String filename) {
- String encoding = null;
- IFile file = PHPeclipsePlugin.getWorkspace().getRoot()
- .getFileForLocation(new Path(filename));
- if (file != null) {
- try {
- encoding = file.getCharset();
- } catch (CoreException e) {
- // TODO: should log the fact that we could not get the encoding?
- }
- }
- return encoding;
- }
+// static String getEncoding(String filename) {
+// String encoding = null;
+// IFile file = PHPeclipsePlugin.getWorkspace().getRoot()
+// .getFileForLocation(new Path(filename));
+// if (file != null) {
+// try {
+// encoding = file.getCharset();
+// } catch (CoreException e) {
+// // TODO: should log the fact that we could not get the encoding?
+// }
+// }
+// return encoding;
+// }
public static String getUsage(String filename,
PHPIdentifierLocation location) {