Added option to dump PHP html (+ revert recent changes for now)