Update manual and php extlinks

[jmikola]

Use https for both links and update "manual" to use the canonical docs URL

[GromNaN]

I suppose it would have no effect if you merged it on older branches, as the documentation is published only for tags?

[ccho-mongodb]

I suppose it would have no effect if you merged it on older branches, as the documentation is published only for tags?

I think you can backport this to all the other non-legacy version branches on this repo. The older version branches (other than for legacy versions which are read-only on the docs platform) should be publishable.

[jmikola]

I think you can backport this to all the other non-legacy version branches on this repo. The older version branches (other than for legacy versions which are read-only on the docs platform) should be publishable.

How would backports be handled? Cherry-pick after merging?

If the docs team is willing to handle that as owners of this repo I'm all for it. IIRC, Snooty is used for 1.16+ so it'd be three branches in addition to master.

[ccho-mongodb]

How would backports be handled? Cherry-pick after merging?

If the docs team is willing to handle that as owners of this repo I'm all for it. IIRC, Snooty is used for 1.16+ so it'd be three branches in addition to master.

Sure, happy to backport and deploy this change for you. However, if you find that extlinks are overriding the snooty roles as the possibility was raised in this comment, this PR should probably instead remove the extlinks.

[jmikola]

@ccho-mongodb: @schmalliso confirmed that conf.py does nothing for Snooty. I'll close this PR, but I think the right call is to remove this file from the v1.16 and newer branches.