does the php plugin work in 8.1? Permanently deleted user 创建于 2009年03月02日 20:09 I thought it had been working for me last week... Is anyone using it? I'm not seeing the PHP facet anymore.
