config_query PHP_DEV_AUTOUPDATE "Updated on every system update?" n &&

#set snapshot to be downloaded depending on time
. "$SPELL_DIRECTORY/getSnapshotTime"  &&
SNAP_DATE=$(date -u +%Y%m%d)  &&
SNAP_TIME=$(getSnapshotTime)  &&
persistent_add SNAP_VER
SNAP_VER=${SNAP_DATE}${SNAP_TIME}
