wikimedia / mediawiki

		# This is the big list, all mooshed together. We sift for blank strings

		$fulllist = [];

		foreach ( [ $real, $user, $anon, $others_link ] as $s ) {

			if ( $s !== false ) {

				array_push( $fulllist, $s );

			}

		}

		$count = count( $fulllist );

		# This is the big list, all mooshed together. We sift for blank strings

		$fulllist = [];

		foreach ( [ $real, $user, $anon ] as $s ) {

			if ( $s !== '' ) {

				array_push( $fulllist, $s );

			}

		}

		$count = count( $fulllist );