Resetting formatting.php to previous version