Manual:$wgIncludejQueryMigrate/de-formal

Details
This provides jQuery 1.12 features that were removed in jQuery 3.0. See also jQuery 3 Migration guide.

History
This setting was introduced in MediaWiki 1.24 (133719) while directly being deprecated. It was removed in version 1.25 (131768).