CONFIG="$INSTALL_ROOT/usr/share/$SPELL/conf/config.inc.php" &&
if [[ -f "$CONFIG" ]]; then
  BACKUP_CONFIG="$CONFIG.$(date +%Y%m%d'T'%H%M%S)" &&
  message "$CONFIG is backed up as $BACKUP_CONFIG" &&
  mv "$CONFIG" "$BACKUP_CONFIG"
fi
