You have to give your PHP docs a .php extension... almost always.
If you have access to the server, you can actually set it up to parse all documents, or any combination of extensions you decide. A lot of people setup their servers to parse .phtml documents... some setup their server to parse .html, .htm, and .php docs. It's kind of your preference.
Unless you have access to the config files, or know the admin, you're going to have to use .php.