return array_flip( array_intersect( array_flip( $a ), array_keys( $b ) ) );
}
-/**
- * Convenience function; returns MediaWiki timestamp for the present time.
- *
- * @return string
- */
-function wfTimestampNow() {
- # return NOW
- return wfTimestamp( TS_MW, time() );
-}
-
/**
* Reference-counted warning suppression
*
}
}
+/**
+ * Convenience function; returns MediaWiki timestamp for the present time.
+ *
+ * @return string
+ */
+function wfTimestampNow() {
+ # return NOW
+ return wfTimestamp( TS_MW, time() );
+}
+
/**
* Check if the operating system is Windows
*