Does Deutsche Bank use php? Does HSBC use fucking MYSQL???
I can assure you that there are many MySQL instances inside any bank you could point your finger at. Several of them business critical for their respective environments.
It is guaranteed to be a lot of PHP too, just not customer facing. Banks are big things with lots of IT.