vanilla/vanilla — pull request #2077 by bleistivt (2014-09-08 21:05:07+00:00)
Title: use file_get_contents instead of include

- fix potential file inclusion security risc
- file_get_contents is much better suited for reading a file into a
string, anyway
- method is not used anywhere in vanilla, yet