✏️ Editing: IntegerSetting.php