Recompiled PHP