In MediaWiki 1.25, the generated LocalSettings.php file contains this comment:
# Enabled Extensions. Most extensions are enabled by including the base extension file here # but check specific extension documentation for more details # The following extensions were automatically enabled:
This is now wrong since we're using the new extension registration method, which is now, for example:
wfLoadExtension( 'Cite' );