Page MenuHomePhabricator

MediaWiki installer should use require_once() instead of require() for extensions
Closed, ResolvedPublic


Author: EN.WP.ST47

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



Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 11:55 PM
bzimport set Reference to bz30264.
bzimport added a subscriber: Unknown Object (MLST).