[pdt-dev] Fwd: [pdt] Bug 417881 - ignore non-integer values (#16)

[Wayne Beaton <wayne@xxxxxxxxxxx>]

FYI,

Wayne

-------- Original Message --------

Subject:	[pdt] Bug 417881 - ignore non-integer values (#16)
Date:	Sat, 28 Sep 2013 01:27:30 -0700
From:	Dawid Pakuła <notifications@xxxxxxxxxx>
Reply-To:	eclipse/pdt <reply+i-20209142-f7b75b1e7d1bddec47ddf2bd954cf4e07cfe0d7f-555569@xxxxxxxxxxxxxxxx>
To:	eclipse/pdt <pdt@xxxxxxxxxxxxxxxxxx>

Proposed fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=417881

Eclipse CLA signed
100% own code ;)

---

You can merge this Pull Request by running

  git pull https://github.com/zulus/pdt bug_417881

Or view, comment on, or merge it at:

  https://github.com/eclipse/pdt/pull/16

Commit Summary

• Bug 417881 - ignore non-integer values

File Changes

• M plugins/org.eclipse.php.ui/src/org/eclipse/php/internal/ui/text/correction/PHPCorrectionProcessor.java (7)
• M plugins/org.eclipse.php.ui/src/org/eclipse/php/internal/ui/text/correction/ProblemLocation.java (9)

Patch Links:

• https://github.com/eclipse/pdt/pull/16.patch
• https://github.com/eclipse/pdt/pull/16.diff

--
Wayne Beaton
Director of Open Source Projects, The Eclipse Foundation
Learn about Eclipse Projects