Lua API: Remove BorderColor variable from onGameInit Seems to be broken, returns negative value, is not used in any script, obscure feature anyway.

{-# LANGUAGE ImpredicativeTypes #-}
module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS