= php.js reverted to working copy