Thread:Extension talk:FlaggedRevs/Basic Settings Misleading/reply

NS_MAIN is a PHP constant which equals an integer. So the values *are* integers. Using constants just makes it more readable. You could technically do wgFlaggedRevsNamespaces = ( 0, 6, 10 );