The problem might not be with the libphp5servlet.so file, but rather a missing dependency.
Try using the ldd command to see if that is the case.
There are some other posts on PHP - a search should reveal them and they might provide
some more info.
View the original post :
http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4237160#...
Reply to the post :
http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...