/**
	 * Extract default namespaces to search from the given user's
	 * settings, returning a list of index numbers.
	 *
	 * @param User $user
	 * @return array
	 * @access private
	 */
	function userNamespaces( &$user ) {
		global $wgNamespacesToBeSearchedDefault;
		$arr = array();
		if( !$user->mId ) {
			foreach( $wgNamespacesToBeSearchedDefault as $nsId => $value ) {
				if ($value) {
					$arr[] = $nsId;
				}
			}
		}
		else
			{
			foreach( SearchEngine::searchableNamespaces() as $ns => $name ) {
				if( $user->getOption( 'searchNs' . $ns ) ) {
					$arr[] = $ns;
				}
			}
		}
		return $arr;
	}