Jakub Vrana dc85ba2d86 Delete type="text/javascript" from <script> as it is the default in HTML5		2018-01-11 14:13:43 +01:00
..
include	Delete type="text/javascript" from <script> as it is the default in HTML5	2018-01-11 14:13:43 +01:00
static	Editor: Define help mouse handlers	2014-09-14 14:49:39 -07:00
db.inc.php	Delete type="text/javascript" from <script> as it is the default in HTML5	2018-01-11 14:13:43 +01:00
example.php	Replace ereg*() by preg_*()	2013-07-24 16:26:41 -07:00
index.php	Update URL	2017-02-27 13:44:22 +01:00
script.inc.php	Fix handling of 64 bit numbers in auto_increment	2014-11-24 18:17:43 -08:00