diff options
author | Florian Pritz <bluewind@xinu.at> | 2016-09-05 18:12:37 +0200 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:41:31 +0200 |
commit | 2c28398827ed9be86e3a803a27bd54e366569ac9 (patch) | |
tree | 9c3583a6ff97dd187a68ea36ac4b2e69ea59f8b6 /application/config/config.php | |
parent | 5dfa31be9c34f6099b10e714f5620b3755f9747c (diff) |
install.php: Repurpose to dependency checker
It never did any installation and being able to run it without having
to delete the is_installed file is actually helpful when dependency
requirements change.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'application/config/config.php')
0 files changed, 0 insertions, 0 deletions