dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd34f36) | patch
Rename $wgServerSetting to $serverSetting
authorPlatonides <platonides@gmail.com>
Sat, 23 Nov 2013 18:41:20 +0000 (19:41 +0100)
committerPlatonides <platonides@gmail.com>
Sat, 23 Nov 2013 18:41:20 +0000 (19:41 +0100)
commit0e75eebf02d6cebde0e36d823a7ba926ea52173f
tree0f7f780cdb97073b1e67dcdd70eea28314f6a5a0tree | snapshot
parentbd34f36dfc9b59ecadc78e2cfb25c08154800daccommit | diff
Rename $wgServerSetting to $serverSetting

It's the setting for $wgServer, but let's not confuse humans
and tools by using the convention for globals.

Change-Id: I38c82d363f588648f11d0a0ab3e264e25553493e
includes/installer/LocalSettingsGenerator.php diff | blob | history
Wiklou, le Wiki du Wiklou