<?php

if (! defined('INSTALLING_SESSION_NAME')) {
    define('INSTALLING_SESSION_NAME', 'installing');
}

if (! defined('INSTALLED_SESSION_NAME')) {
    define('INSTALLED_SESSION_NAME', 'installed');
}
