defs.php3.in 4.14 KB