Task #001381 : favori de filtre , ajout des favoris de filtre dans les

recherches.
This commit is contained in:
Dany De Bontridder 2017-12-10 14:00:37 +01:00
parent af4953a9b3
commit 6152d092fb
12 changed files with 1522 additions and 951 deletions

View file

@ -63,7 +63,7 @@ if (!file_exists('authorized_debug'))
exit();
}
define('ALLOWED', 1);
html_page_start();
html_page_start("Classic 692");
/*
* Loading of all scenario