Remove duplicate bits from the optionmap
authorMark A. Hershberger <mah@users.mediawiki.org>
Tue, 11 Oct 2011 03:24:21 +0000 (03:24 +0000)
committerMark A. Hershberger <mah@users.mediawiki.org>
Tue, 11 Oct 2011 03:24:21 +0000 (03:24 +0000)
commit9ade28f5913ccb5e4f7df5fdf0eb8ea9c83215f7
treec73968e577bf40c01339950d7d684fbdcc04696b
parent95507bc102878758ea2edc5771607ac2b1e8412d
Remove duplicate bits from the optionmap
includes/installer/CliInstaller.php