concrete5/concrete5 — pull request #1717 by Remo (2014-04-08 07:31:07+00:00)
Title: remove unused installer code

as mentioned here, we can probably remove those lines https://github.com/concrete5/concrete5/pull/1710