How to convert PT time to time format in php?

This post convert PT time to time format in php.

1. Code:

2. Example:

Input:

PT17H30M

Output:

17:30:00
PHP