Option A:
[tileshader : shader]
pixel =		"tile.ps.gl"
vertex =	"tile.vs.gl"
version =	1.5

Option B:
shader tileshader = {
	pixel =		"tile.ps.gl"
	vertex =	"tile.vs.gl"
	version =	1.5;
};

Option C:
<shader name="tileshader">
	<string name="pixel">tile.ps.gl</string>
	<string name="vertex">tile.vs.gl</string>
	<real name="version">1.5</real>
</shader>