Blame | Letzte Änderung | Log anzeigen | RSS feed
<?php $options = array( 'host'=>'example.com', 'port'=>'110' ); $extra_options['username'] = 'test_user'; $extra_options['passwd'] = 'test_user'; ?>
<?php
$options = array(
'host'=>'example.com',
'port'=>'110'
);
$extra_options['username'] = 'test_user';
$extra_options['passwd'] = 'test_user';
?>