wpbullet: A static code analysis for WordPress and PHP