Editing: ReplaceFilter.php