PHPで画像の特定1ドットの色を取得したい


phpで簡単な画像処理を行っています。  
そこで、特定の1ドットの色(RGB)を取得する必要が出てきたのですが、これは実現可能でしょうか。  
自分でもマニュアルを参照してみましたが、それらしい関数は見当たりません。  
一体どうすれば取得できるのでしょうか。  
ちなみに、利用しているのはGDライブラリです。




argusさんのコメントから引用させていただきます。

> [PHP: imagecolorat](https://www.php.net/manual/ja/function.imagecolorat.php)




argusさんのコメントから引用させていただきます。

> [PHP: imagecolorat](https://www.php.net/manual/ja/function.imagecolorat.php)

