hhvm: dedupe mysql config key

Change-Id: I58b9500712c98ab68089fd607b5dff09a3020761
Merge "hhvm: dedupe mysql config key" into production