niklausgerber/themis — pull request #4 by m0n0rail (2013-03-05 21:18:50+00:00)
Title: Fixed PHP Short

php short error in default.php