SemanticMediaWiki/SemanticMediaWiki — pull request #15 by JeroenDeDauw (2013-11-08 18:36:58+00:00)
Title: Make sure var is an int and remove unused var

Change-Id: I3fd8e42b00dad81d042ba38aed24ba6fd8bbe090