am 5a5ee95f: Rename ProductionFlag to ProductionFlags

* commit '5a5ee95faead8a2ae749067716481e86faf5f113':
  Rename ProductionFlag to ProductionFlags