[web/data] Remove broken jquery-json plugin (closes #3590335)
Conversion of Date() objects is somehow broken (don't know why beyond that it's
due to jquery-json's monkeypatched Date.toJSON() method).
Use the now-standard JSON.stringify() instead. http://caniuse.com/#feat=json
says it's supported by all browsers, and even IE going back to version 8.
/* -*- sql -*-
mysql specific registered procedures,
*/
/* XXX limit_size version dealing with format as postgres version does.
XXX mysql doesn't support overloading, each function should have a different name
NOTE: fulltext renamed since it cause a mysql name conflict
*/
CREATE FUNCTION text_limit_size(vfulltext TEXT, maxsize INT)
RETURNS TEXT
NO SQL
BEGIN
IF LENGTH(vfulltext) < maxsize THEN
RETURN vfulltext;
ELSE
RETURN SUBSTRING(vfulltext from 1 for maxsize) || '...';
END IF;
END ;;