Editing: PropertyProperty.php