In this new entry on his blog, Alexander Netkachev shares a hint for those PHP IDE Eclipse users out there frustrated with php.ini issues.

You may notice that the IDE does not load options specified in the php.ini and this makes customizing extensions impossible. I run into this problem today and looked over the source code of PHP plugin for it.

The solution he found was in an update he found to one of the Java files, pointing it to the correct location. Changing this changes the default setting for the editor.