Map the hashrocket key for PHP files