Included formatting.php and option.php