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 );
