Manual:$wgIncludeLegacyJavaScript/de-formal

Details
Whether to include the mediawiki.legacy JavaScript library (old wikibits.js), and its dependencies.