<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<settings>
	<category label="30000">
		<setting label="30001" type="select" id="dino_timer" values="enabled|disabled" default="enabled"/>
	</category>
</settings>
