Editing: MessageProvider.php