defs.php3.in 16.6 KB