A PPF3 JavaScript Patcher