Author: EN.WP.ST47

Description:
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.

Version: 1.17.x
Severity: trivial