Thue/jquery.escape.js
Jquery plugin to escape a string to HTML, like PHP's htmlspecialchars (with ENT_QUOTES)
FreeCol patches
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Jquery plugin to escape a string to HTML, like PHP's htmlspecialchars (with ENT_QUOTES)
A fixed version of PHP's csv import/export functions (PHP bug 50686)
A web interface for controlling a MineCraft server, optimized for custom maps