defs.php3.in 6.14 KB