hey, my devs are trying to integrate darkcoind into a php framework and is wondering

"Is there already ready PHP library to use their coins in your website (create addresses, deposit, withdraw all that stuff?
Or can they work w/ JSONRPC library which BTC uses"