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