Upgrade to Wordpress 4.0

After the merge, a new deploy has to be made.