Delete PatternOptions.php