Last modified: 2013-09-04 11:49:50 UTC
All extension documentation says to use require_once to add an extension to LocalSettings.php, however the installer uses require when it automatically detects that an extension is available. For consistency, this should be changed to require_once. One good reason to do this is to avoid users copying the require statement used by the installer for other extensions, which could cause the inadvertent double-inclusion that the use of require_once avoids.
Fixed in r94107.