SELECT
`name`,
`type`,
param_list,
`returns`,
body
FROM mysql.proc
WHERE db = DATABASE()
AND body LIKE '%toDoubleAngle%'
SELECT
`name`,
`type`,
param_list,
`returns`,
body
FROM mysql.proc
WHERE db = DATABASE()
AND body LIKE '%toDoubleAngle%'