As some might know, when you have found this page, I'm working on a CA Application based on phpSATk at the moment which works pretty good now but is lacking one important feature - generating CRLs - for which actually there has been no support in PHP by now so I wrote a
patch bringing this functionally to PHP and have submitted it today to php.internals.