That's the one (from Tim Hunt and Eloy LafuenteEloy Lafuente) .
Another cunning trick is to ensure your code runs with PHP7 as there are some very small quirks that will catch (e.g. duplicate function parameters). So long as you don't use PHP7 specific features you will be fine with earlier versions.