Manual:$wgAutopromoteOnce/de-formal

Details
Does not add the user to the group again if it has been removed. Also, does not remove the group if the user no longer meets the criteria.

The format is  where event is 'onEdit' (when user edits) or 'onView' (when user views the wiki) and criteria has the same format as.