revert file hphp/system/php.txt