Change history of «if-then-else alternative to Platform.case»

α	β	date	comment
		22 Jun'16 10:34
		28 Jun'16 03:51