From 9c044c5bd0a44a6e3a949753e505eb17042c2445 Mon Sep 17 00:00:00 2001 From: Josh Watzman Date: Wed, 6 Aug 2014 16:30:21 -0700 Subject: [PATCH] Add detection for Hack files with ".php" file extension Based on top of PR#1447. Adds a simple heuristic check for Hack files vs PHP files (`