fix #4238: spam info grid: enable sorting & add colors for spam score

[pmg-gui.git] / js / mobile / prelude.js

/* global Framework7, Template7, Dom7 */

var $$ = Dom7;
var app, PMG; // set in app.js