6 * Description: Inserts a jabber chat
15 * jabber password should not be stored on server
16 * jabber password should not be sent between server and browser as soon as the user is logged in
17 * jabber password should not be reconstructible from communication between server and browser as soon as the user is logged in
20 Only store an encrypted version of the jabber password on the server. The encryption key is only available to the browser
21 and not to the server (at least as soon as the user is logged in). It can be stored using the jappix setDB function.
23 This encryption key could be the friendica password, but then this password would be stored in the browser in cleartext.
24 It is better to use a hash of the password.
25 The server should not be able to reconstruct the password, so we can't take the same hash the server stores. But we can
26 use hash("some_prefix"+password). This will however not work with OpenID logins, for this type of login the password must
30 How to discover the jabber addresses of the friendica contacts?
33 Each Friendica site with this addon provides a /jappixmini/ module page. We go through our contacts and retrieve
34 this information every week using a cron hook.
37 We do not want to make the jabber address public.
40 When two friendica users connect using DFRN, the relation gets a DFRN ID and a keypair is generated.
41 Using this keypair, we can provide the jabber address only to contacts:
44 signed_address = openssl_*_encrypt(alice_jabber_address)
45 send signed_address to Bob, who does
46 trusted_address = openssl_*_decrypt(signed_address)
48 encrypted_address = openssl_*_encrypt(bob_jabber_address)
49 reply with encrypted_address to Alice, who does
50 decrypted_address = openssl_*_decrypt(encrypted_address)
51 save decrypted_address
54 GET /jappixmini/?role=%s&signed_address=%s&dfrn_id=%s
57 json({"status":"ok", "encrypted_address":"%s"})
61 function jappixmini_install() {
62 register_hook('plugin_settings', 'addon/jappixmini/jappixmini.php', 'jappixmini_settings');
63 register_hook('plugin_settings_post', 'addon/jappixmini/jappixmini.php', 'jappixmini_settings_post');
65 register_hook('page_end', 'addon/jappixmini/jappixmini.php', 'jappixmini_script');
66 register_hook('authenticate', 'addon/jappixmini/jappixmini.php', 'jappixmini_login');
68 register_hook('cron', 'addon/jappixmini/jappixmini.php', 'jappixmini_cron');
70 // Jappix source download as required by AGPL
71 register_hook('about_hook', 'addon/jappixmini/jappixmini.php', 'jappixmini_download_source');
73 // set standard configuration
74 $info_text = get_config("jappixmini", "infotext");
75 if (!$info_text) set_config("jappixmini", "infotext",
76 "To get the chat working, you need to know a BOSH host which works with your Jabber account. ".
77 "An example of a BOSH server that works for all accounts is https://bind.jappix.com/, but keep ".
78 "in mind that the BOSH server can read along all chat messages. If you know that your Jabber ".
79 "server also provides an own BOSH server, it is much better to use this one!"
82 $bosh_proxy = get_config("jappixmini", "bosh_proxy");
83 if ($bosh_proxy==="") set_config("jappixmini", "bosh_proxy", "1");
85 // set addon version so that safe updates are possible later
86 $addon_version = get_config("jappixmini", "version");
87 if ($addon_version==="") set_config("jappixmini", "version", "1");
91 function jappixmini_uninstall() {
92 unregister_hook('plugin_settings', 'addon/jappixmini/jappixmini.php', 'jappixmini_settings');
93 unregister_hook('plugin_settings_post', 'addon/jappixmini/jappixmini.php', 'jappixmini_settings_post');
95 unregister_hook('page_end', 'addon/jappixmini/jappixmini.php', 'jappixmini_script');
96 unregister_hook('authenticate', 'addon/jappixmini/jappixmini.php', 'jappixmini_login');
98 unregister_hook('cron', 'addon/jappixmini/jappixmini.php', 'jappixmini_cron');
100 unregister_hook('about_hook', 'addon/jappixmini/jappixmini.php', 'jappixmini_download_source');
103 function jappixmini_plugin_admin(&$a, &$o) {
104 // display instructions and warnings on addon settings page for admin
106 if (!file_exists("addon/jappixmini/jappix")) {
107 $o .= '<p><strong>You need to install the Jappix application (see README).</strong></p>';
109 else if (file_exists("addon/jappixmini/jappix/index.php")) {
110 // try to delete automatically
112 unlink("addon/jappixmini/jappix/index.php");
114 catch (Exception $e) {}
116 // warn admin if this is not possible
117 if (file_exists("addon/jappixmini/jappix/index.php"))
118 $o .= '<p><strong style="color:#fff;background-color:#f00">You must delete addon/jappixmini/jappix/index.php (see README).</strong></p>';
120 info("Deleted addon/jappixmini/jappix/index.php automatically.");
121 $o .= '<p>Jappix is installed.</p>';
124 else if (!file_exists("addon/jappixmini/jappix.zip")) {
125 $o .= '<p><strong style="color:#fff;background-color:#f00">The source archive jappix.zip does not exist. This is probably a violation of the Jappix License (see README).</strong></p>';
128 $o .= '<p>Jappix is installed.</p>';
131 // warn if cron job has not yet been executed
132 $cron_run = get_config("jappixmini", "last_cron_execution");
133 if (!$cron_run) $o .= "<p><strong>Warning: The cron job has not yet been executed. If this message is still there after some time (usually 10 minutes), this means that autosubscribe and autoaccept will not work.</strong></p>";
136 $bosh_proxy = intval(get_config("jappixmini", "bosh_proxy"));
137 $bosh_proxy = intval($bosh_proxy) ? ' checked="checked"' : '';
138 $o .= '<label for="jappixmini-proxy">Activate BOSH proxy</label>';
139 $o .= ' <input id="jappixmini-proxy" type="checkbox" name="jappixmini-proxy" value="1"'.$bosh_proxy.' /><br />';
142 $info_text = get_config("jappixmini", "infotext");
143 $o .= '<p><label for="jappixmini-infotext">Info text to help users with configuration (important if you want to provide your own BOSH host!):</label><br />';
144 $o .= '<textarea id="jappixmini-infotext" name="jappixmini-infotext" rows="5" cols="50">'.htmlentities($info_text).'</textarea></p>';
147 $o .= '<input type="submit" name="jappixmini-admin-settings" value="OK" />';
150 function jappixmini_plugin_admin_post(&$a) {
152 $submit = $_REQUEST['jappixmini-admin-settings'];
154 $info_text = $_REQUEST['jappixmini-infotext'];
155 $bosh_proxy = intval($_REQUEST['jappixmini-proxy']);
156 set_config("jappixmini", "infotext", $info_text);
157 set_config("jappixmini", "bosh_proxy", $bosh_proxy);
161 function jappixmini_module() {}
162 function jappixmini_init(&$a) {
163 // module page where other Friendica sites can submit Jabber addresses to and also can query Jabber addresses
166 if (!file_exists("addon/jappixmini/jappix")) killme();
168 $dfrn_id = $_REQUEST["dfrn_id"];
169 if (!$dfrn_id) killme();
171 $role = $_REQUEST["role"];
173 $r = q("SELECT * FROM `contact` WHERE LENGTH(`pubkey`) AND `dfrn-id`='%s' LIMIT 1",
176 if (!count($r)) killme();
178 $encrypt_func = openssl_public_encrypt;
179 $decrypt_func = openssl_public_decrypt;
180 $key = $r[0]["pubkey"];
181 } else if ($role=="prv") {
182 $r = q("SELECT * FROM `contact` WHERE LENGTH(`prvkey`) AND `issued-id`='%s' LIMIT 1",
185 if (!count($r)) killme();
187 $encrypt_func = openssl_private_encrypt;
188 $decrypt_func = openssl_private_decrypt;
189 $key = $r[0]["prvkey"];
196 // save the Jabber address we received
198 $signed_address_hex = $_REQUEST["signed_address"];
199 $signed_address = hex2bin($signed_address_hex);
201 $trusted_address = "";
202 $decrypt_func($signed_address, $trusted_address, $key);
204 $now = intval(time());
205 set_pconfig($uid, "jappixmini", "id:$dfrn_id", "$now:$trusted_address");
206 } catch (Exception $e) {
209 // do not return an address if user deactivated plugin
210 $activated = get_pconfig($uid, 'jappixmini', 'activate');
211 if (!$activated) killme();
213 // return the requested Jabber address
215 $username = get_pconfig($uid, 'jappixmini', 'username');
216 $server = get_pconfig($uid, 'jappixmini', 'server');
217 $address = "$username@$server";
219 $encrypted_address = "";
220 $encrypt_func($address, $encrypted_address, $key);
222 $encrypted_address_hex = bin2hex($encrypted_address);
226 "encrypted_address"=>$encrypted_address_hex
229 $answer_json = json_encode($answer);
232 } catch (Exception $e) {
237 function jappixmini_settings(&$a, &$s) {
238 // addon settings for a user
240 if (!file_exists("addon/jappixmini/jappix")) return;
242 $activate = get_pconfig(local_user(),'jappixmini','activate');
243 $activate = intval($activate) ? ' checked="checked"' : '';
245 $username = get_pconfig(local_user(),'jappixmini','username');
246 $username = htmlentities($username);
247 $server = get_pconfig(local_user(),'jappixmini','server');
248 $server = htmlentities($server);
249 $bosh = get_pconfig(local_user(),'jappixmini','bosh');
250 $bosh = htmlentities($bosh);
251 $password = get_pconfig(local_user(),'jappixmini','password');
252 $autosubscribe = get_pconfig(local_user(),'jappixmini','autosubscribe');
253 $autosubscribe = intval($autosubscribe) ? ' checked="checked"' : '';
254 $autoapprove = get_pconfig(local_user(),'jappixmini','autoapprove');
255 $autoapprove = intval($autoapprove) ? ' checked="checked"' : '';
256 $encrypt = intval(get_pconfig(local_user(),'jappixmini','encrypt'));
257 $encrypt_checked = $encrypt ? ' checked="checked"' : '';
258 $encrypt_disabled = $encrypt ? '' : ' disabled="disabled"';
260 $info_text = get_config("jappixmini", "infotext");
261 $info_text = htmlentities($info_text);
262 $info_text = str_replace("\n", "<br />", $info_text);
265 $r = q("SELECT COUNT(1) as `cnt` FROM `pconfig` WHERE `uid`=%d AND `cat`='jappixmini' AND `k` LIKE 'id:%%'", local_user());
266 if (count($r)) $contact_cnt = $r[0]["cnt"];
267 else $contact_cnt = 0;
269 // count jabber addresses
270 $r = q("SELECT COUNT(1) as `cnt` FROM `pconfig` WHERE `uid`=%d AND `cat`='jappixmini' AND `k` LIKE 'id:%%' AND `v` LIKE '%%@%%'", local_user());
271 if (count($r)) $address_cnt = $r[0]["cnt"];
272 else $address_cnt = 0;
275 // load scripts if not yet activated so that password can be saved
276 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/jappix/php/get.php?t=js&g=mini.xml"></script>'."\r\n";
277 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/jappix/php/get.php?t=js&f=presence.js~caps.js~name.js~roster.js"></script>'."\r\n";
279 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/lib.js"></script>'."\r\n";
282 $s .= '<div class="settings-block">';
284 $s .= '<h3>Jappix Mini addon settings</h3>';
286 $s .= '<label for="jappixmini-activate">Activate addon</label>';
287 $s .= ' <input id="jappixmini-activate" type="checkbox" name="jappixmini-activate" value="1"'.$activate.' />';
289 $s .= '<label for="jappixmini-username">Jabber username</label>';
290 $s .= ' <input id="jappixmini-username" type="text" name="jappixmini-username" value="'.$username.'" />';
292 $s .= '<label for="jappixmini-server">Jabber server</label>';
293 $s .= ' <input id="jappixmini-server" type="text" name="jappixmini-server" value="'.$server.'" />';
296 $s .= '<label for="jappixmini-bosh">Jabber BOSH host</label>';
297 $s .= ' <input id="jappixmini-bosh" type="text" name="jappixmini-bosh" value="'.$bosh.'" />';
300 $s .= '<label for="jappixmini-password">Jabber password</label>';
301 $s .= ' <input type="hidden" id="jappixmini-password" name="jappixmini-encrypted-password" value="'.$password.'" />';
302 $s .= ' <input id="jappixmini-clear-password" type="password" value="" onchange="jappixmini_set_password();" />';
304 $onchange = "document.getElementById('jappixmini-friendica-password').disabled = !this.checked;jappixmini_set_password();";
305 $s .= '<label for="jappixmini-encrypt">Encrypt Jabber password with Friendica password (recommended)</label>';
306 $s .= ' <input id="jappixmini-encrypt" type="checkbox" name="jappixmini-encrypt" onchange="'.$onchange.'" value="1"'.$encrypt_checked.' />';
308 $s .= '<label for="jappixmini-friendica-password">Friendica password</label>';
309 $s .= ' <input id="jappixmini-friendica-password" name="jappixmini-friendica-password" type="password" onchange="jappixmini_set_password();" value=""'.$encrypt_disabled.' />';
311 $s .= '<label for="jappixmini-autoapprove">Approve subscription requests from Friendica contacts automatically</label>';
312 $s .= ' <input id="jappixmini-autoapprove" type="checkbox" name="jappixmini-autoapprove" value="1"'.$autoapprove.' />';
314 $s .= '<label for="jappixmini-autosubscribe">Subscribe to Friendica contacts automatically</label>';
315 $s .= ' <input id="jappixmini-autosubscribe" type="checkbox" name="jappixmini-autosubscribe" value="1"'.$autosubscribe.' />';
317 $s .= '<label for="jappixmini-purge">Purge internal list of jabber addresses of contacts</label>';
318 $s .= ' <input id="jappixmini-purge" type="checkbox" name="jappixmini-purge" value="1" />';
320 if ($info_text) $s .= '<br />Configuration help:<p style="margin-left:2em;">'.$info_text.'</p>';
321 $s .= '<br />Status:<p style="margin-left:2em;">Addon knows '.$address_cnt.' Jabber addresses of '.$contact_cnt.' Friendica contacts (takes some time, usually 10 minutes, to update).</p>';
322 $s .= '<input type="submit" name="jappixmini-submit" value="' . t('Submit') . '" />';
323 $s .= ' <input type="button" value="Add contact" onclick="jappixmini_addon_subscribe();" />';
328 $a->page['htmlhead'] .= "<script type=\"text/javascript\">
329 function jappixmini_set_password() {
330 encrypt = document.getElementById('jappixmini-encrypt').checked;
331 password = document.getElementById('jappixmini-password');
332 clear_password = document.getElementById('jappixmini-clear-password');
334 friendica_password = document.getElementById('jappixmini-friendica-password');
336 if (friendica_password) {
337 jappixmini_addon_set_client_secret(friendica_password.value);
338 jappixmini_addon_encrypt_password(clear_password.value, function(encrypted_password){
339 password.value = encrypted_password;
344 password.value = clear_password.value;
348 jQuery(document).ready(function() {
349 encrypt = document.getElementById('jappixmini-encrypt').checked;
350 password = document.getElementById('jappixmini-password');
351 clear_password = document.getElementById('jappixmini-clear-password');
353 jappixmini_addon_decrypt_password(password.value, function(decrypted_password){
354 clear_password.value = decrypted_password;
358 clear_password.value = password.value;
364 function jappixmini_settings_post(&$a,&$b) {
365 // save addon settings for a user
367 if (!file_exists("addon/jappixmini/jappix")) return;
369 if(! local_user()) return;
372 if($_POST['jappixmini-submit']) {
373 $encrypt = intval($b['jappixmini-encrypt']);
375 // check that Jabber password was encrypted with correct Friendica password
376 $friendica_password = trim($b['jappixmini-friendica-password']);
377 $encrypted = hash('whirlpool',$friendica_password);
378 $r = q("SELECT * FROM `user` WHERE `uid`=$uid AND `password`='%s'",
382 info("Wrong friendica password!");
387 $purge = intval($b['jappixmini-purge']);
389 $username = trim($b['jappixmini-username']);
390 $old_username = get_pconfig($uid,'jappixmini','username');
391 if ($username!=$old_username) $purge = 1;
393 $server = trim($b['jappixmini-server']);
394 $old_server = get_pconfig($uid,'jappixmini','server');
395 if ($server!=$old_server) $purge = 1;
397 set_pconfig($uid,'jappixmini','username',$username);
398 set_pconfig($uid,'jappixmini','server',$server);
399 set_pconfig($uid,'jappixmini','bosh',trim($b['jappixmini-bosh']));
400 set_pconfig($uid,'jappixmini','password',trim($b['jappixmini-encrypted-password']));
401 set_pconfig($uid,'jappixmini','autosubscribe',intval($b['jappixmini-autosubscribe']));
402 set_pconfig($uid,'jappixmini','autoapprove',intval($b['jappixmini-autoapprove']));
403 set_pconfig($uid,'jappixmini','activate',intval($b['jappixmini-activate']));
404 set_pconfig($uid,'jappixmini','encrypt',$encrypt);
405 info( 'Jappix Mini settings saved.' );
408 q("DELETE FROM `pconfig` WHERE `uid`=$uid AND `cat`='jappixmini' AND `k` LIKE 'id:%%'");
409 info( 'List of addresses purged.' );
414 function jappixmini_script(&$a,&$s) {
415 // adds the script to the page header which starts Jappix Mini
417 if (!file_exists("addon/jappixmini/jappix")) return;
418 if(! local_user()) return;
420 $activate = get_pconfig(local_user(),'jappixmini','activate');
421 if (!$activate) return;
423 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/jappix/php/get.php?t=js&g=mini.xml"></script>'."\r\n";
424 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/jappix/php/get.php?t=js&f=presence.js~caps.js~name.js~roster.js"></script>'."\r\n";
426 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/lib.js"></script>'."\r\n";
428 $username = get_pconfig(local_user(),'jappixmini','username');
429 $username = str_replace("'", "\\'", $username);
430 $server = get_pconfig(local_user(),'jappixmini','server');
431 $server = str_replace("'", "\\'", $server);
432 $bosh = get_pconfig(local_user(),'jappixmini','bosh');
433 $bosh = str_replace("'", "\\'", $bosh);
434 $encrypt = get_pconfig(local_user(),'jappixmini','encrypt');
435 $encrypt = intval($encrypt);
436 $password = get_pconfig(local_user(),'jappixmini','password');
437 $password = str_replace("'", "\\'", $password);
439 $autoapprove = get_pconfig(local_user(),'jappixmini','autoapprove');
440 $autoapprove = intval($autoapprove);
441 $autosubscribe = get_pconfig(local_user(),'jappixmini','autosubscribe');
442 $autosubscribe = intval($autosubscribe);
444 // set proxy if necessary
445 $use_proxy = get_config('jappixmini','bosh_proxy');
447 $proxy = $a->get_baseurl().'/addon/jappixmini/proxy.php';
453 // get a list of jabber accounts of the contacts
456 $rows = q("SELECT * FROM `pconfig` WHERE `uid`=$uid AND `cat`='jappixmini' AND `k` LIKE 'id:%%'");
457 foreach ($rows as $row) {
459 $pos = strpos($key, ":");
460 $dfrn_id = substr($key, $pos+1);
461 $r = q("SELECT `name` FROM `contact` WHERE `uid`=$uid AND `dfrn-id`='%s' OR `issued-id`='%s'",
465 $name = $r[0]["name"];
468 $pos = strpos($value, ":");
469 $address = substr($value, $pos+1);
470 if (!$address) continue;
471 if (!$name) $name = $address;
473 $contacts[$address] = $name;
475 $contacts_json = json_encode($contacts);
476 $contacts_hash = sha1($contacts_json);
479 $r = q("SELECT `username` FROM `user` WHERE `uid`=$uid");
480 $nickname = json_encode($r[0]["username"]);
482 // add javascript to start Jappix Mini
483 $a->page['htmlhead'] .= "<script type=\"text/javascript\">
484 jQuery(document).ready(function() {
485 jappixmini_addon_start('$server', '$username', '$proxy', '$bosh', $encrypt, '$password', $nickname, $contacts_json, '$contacts_hash', $autoapprove, $autosubscribe);
492 function jappixmini_login(&$a, &$o) {
493 // create client secret on login to be able to encrypt jabber passwords
495 if (!file_exists("addon/jappixmini/jappix")) return;
497 // for setDB and str_sha1, needed by jappixmini_addon_set_client_secret
498 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/jappix/php/get.php?t=js&f=datastore.js~jsjac.js"></script>'."\r\n";
500 // for jappixmini_addon_set_client_secret
501 $a->page['htmlhead'] .= '<script type="text/javascript" src="' . $a->get_baseurl() . '/addon/jappixmini/lib.js"></script>'."\r\n";
503 // save hash of password
504 $o = str_replace("<form ", "<form onsubmit=\"jappixmini_addon_set_client_secret(this.elements['id_password'].value);return true;\" ", $o);
507 function jappixmini_cron(&$a, $d) {
508 // For autosubscribe/autoapprove, we need to maintain a list of jabber addresses of our contacts.
510 set_config("jappixmini", "last_cron_execution", $d);
512 if (!file_exists("addon/jappixmini/jappix")) return;
514 // go through list of users with jabber enabled
515 $users = q("SELECT `uid` FROM `pconfig` WHERE `cat`='jappixmini' AND (`k`='autosubscribe' OR `k`='autoapprove') AND `v`='1'");
516 logger("jappixmini: Update list of contacts' jabber accounts for ".count($users)." users.");
518 foreach ($users as $row) {
521 // for each user, go through list of contacts
522 $contacts = q("SELECT * FROM `contact` WHERE `uid`=%d AND ((LENGTH(`dfrn-id`) AND LENGTH(`pubkey`)) OR (LENGTH(`issued-id`) AND LENGTH(`prvkey`)))", intval($uid));
523 foreach ($contacts as $contact_row) {
524 $request = $contact_row["request"];
525 if (!$request) continue;
527 $dfrn_id = $contact_row["dfrn-id"];
529 $key = $contact_row["pubkey"];
530 $encrypt_func = openssl_public_encrypt;
531 $decrypt_func = openssl_public_decrypt;
534 $dfrn_id = $contact_row["issued-id"];
535 $key = $contact_row["prvkey"];
536 $encrypt_func = openssl_private_encrypt;
537 $decrypt_func = openssl_private_decrypt;
541 // check if jabber address already present
542 $present = get_pconfig($uid, "jappixmini", "id:".$dfrn_id);
543 $now = intval(time());
545 // $present has format "timestamp:jabber_address"
546 $p = strpos($present, ":");
547 $timestamp = intval(substr($present, 0, $p));
549 // do not re-retrieve jabber address if last retrieval
550 // is not older than a week
551 if ($now-$timestamp<3600*24*7) continue;
554 // construct base retrieval address
555 $pos = strpos($request, "/dfrn_request/");
556 if ($pos===false) continue;
558 $base = substr($request, 0, $pos)."/jappixmini?role=$role";
560 // construct own address
561 $username = get_pconfig($uid, 'jappixmini', 'username');
562 if (!$username) continue;
563 $server = get_pconfig($uid, 'jappixmini', 'server');
564 if (!$server) continue;
566 $address = $username."@".$server;
569 $signed_address = "";
570 $encrypt_func($address, $signed_address, $key);
572 // construct request url
573 $signed_address_hex = bin2hex($signed_address);
574 $url = $base."&signed_address=$signed_address_hex&dfrn_id=".urlencode($dfrn_id);
578 $answer_json = fetch_url($url);
581 $answer = json_decode($answer_json);
582 if ($answer->status != "ok") throw new Exception();
584 $encrypted_address_hex = $answer->encrypted_address;
585 if (!$encrypted_address_hex) throw new Exception();
587 $encrypted_address = hex2bin($encrypted_address_hex);
588 if (!$encrypted_address) throw new Exception();
591 $decrypted_address = "";
592 $decrypt_func($encrypted_address, $decrypted_address, $key);
593 if (!$decrypted_address) throw new Exception();
594 } catch (Exception $e) {
595 $decrypted_address = "";
599 set_pconfig($uid, "jappixmini", "id:$dfrn_id", "$now:$decrypted_address");
604 function jappixmini_download_source(&$a,&$b) {
605 // Jappix Mini source download link on About page
607 if (!file_exists("addon/jappixmini/jappix")) return;
609 $b .= '<h1>Jappix Mini</h1>';
610 $b .= '<p>This site uses Jappix Mini by the <a href="'.$a->get_baseurl().'/addon/jappixmini/jappix/AUTHORS">Jappix authors</a>, which is distributed under the terms of the <a href="'.$a->get_baseurl().'/addon/jappixmini/jappix/COPYING">GNU Affero General Public License</a>.</p>';
611 $b .= '<p>You can download the <a href="'.$a->get_baseurl().'/addon/jappixmini/jappix.zip">source code</a>.</p>';