2018-02-03 16:29:53 +01:00
|
|
|
<?php
|
|
|
|
|
|
|
|
include_once __DIR__.'/core.php';
|
|
|
|
|
|
|
|
if (!isset($term)) {
|
|
|
|
/*
|
|
|
|
== Super search ==
|
|
|
|
Ricerca di un termine su tutti i moduli.
|
|
|
|
Il risultato è in json
|
|
|
|
*/
|
|
|
|
|
2018-07-19 15:33:32 +02:00
|
|
|
$term = get('term');
|
2018-02-03 16:29:53 +01:00
|
|
|
$term = str_replace('/', '\\/', $term);
|
|
|
|
|
|
|
|
$results = AJAX::search($term);
|
|
|
|
|
|
|
|
echo json_encode($results);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Casi particolari
|
|
|
|
else {
|
|
|
|
}
|