Warning: session_start(): open(/var/lib/php/sessions/sess_sajchjigjnlt49dlrpeirqajpi, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static void editSnippet_stringToSymbol(S snippetID) { S text = loadSnippet(snippetID); S newText = jreplace(text, "S", "Symbol"); if (eq(text, newText)) false; editSnippet(snippetID, newText); true; }