Rename 'forbidden-property-mutation-exception.php'