Add definition for 5.4.25

You may have conflicts with @rogeriopradoj's PR #178 which add a definition for 5.5.9. Feel free to ping me once #178 merged, I'll update this PR to make it automatically merge-able.