Fix AreaStore's IDs persistence (#8888)

Improve documentation
Read old formats
Fix free ID function. Return first gap in map
This commit is contained in:
SmallJoker 2019-09-21 17:54:52 +02:00 committed by Nils Dagsson Moskopp
parent d6a5edd1d2
commit e885b6b9bb
Signed by: erle
GPG Key ID: A3BC671C35191080
1 changed files with 1 additions and 0 deletions

View File

@ -14,6 +14,7 @@ core.features = {
object_independent_selectionbox = true,
httpfetch_binary_data = true,
formspec_version_element = true,
area_store_persistent_ids = true,
}
function core.has_feature(arg)