dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9019a18) | patch
registration: Remove unused 'wgExtraNamespaces' merge strategy
authorKunal Mehta <legoktm@gmail.com>
Thu, 27 Aug 2015 23:13:42 +0000 (16:13 -0700)
committerKunal Mehta <legoktm@gmail.com>
Thu, 27 Aug 2015 23:13:42 +0000 (16:13 -0700)
commitc0b7236caad876acc64b46ad29ad2e0193825bf5
treec5f9dc1a1f36d37d68239ac14e69fe1bdd275517tree | snapshot
parent9019a18d55ab6c0be98fbb056b453a2f92a40dc2commit | diff
registration: Remove unused 'wgExtraNamespaces' merge strategy

As of 9df0672255afd, this is no longer used.

Change-Id: I7e40096cb5173626ba7f2cd3d2be121c8a04768a
includes/registration/ExtensionProcessor.php diff | blob | history
Wiklou, le Wiki du Wiklou