extensions compatibles avec le framework php jelix