A PHP and JS wiki editor