<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vurkioouq5vlnbk27lqogi51p7, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static File downloadSimpleWikipedia() {
  File f = getProgramFile(#1008009, "latest/simplewiki-latest-pages-articles.xml.bz2");
  if (fileSize(f) == 0)
    saveBinaryFile(f, loadBinaryPage(
"https://dumps.wikimedia.org/simplewiki/latest/simplewiki-latest-pages-articles.xml.bz2"));
  print("Wikipedia downloaded. Got " + fileSize(f) + " bytes.");
  ret f;
}