woothemes/woocommerce — pull request #6094 by bryceadams (2014-08-26 04:56:58+00:00)
Title: Filter for PayPal Gateway Text

For the strings:

* Proceed to PayPal
* PayPal

These can easily be changed with localization but it's common that users want to change them so having filters will make it a lot easier.