Changeset 11958

Timestamp:

07/12/2022 08:30:57 PM (3 years ago)

Author:

iandunn

Message:

GP Profiles: Accept mixed data type to avoid fatal error when null.

Sometimes the user hasn't been set on a translation, so we can't assume that the param is an int.

File:

• sites/trunk/wordpress.org/public_html/wp-content/plugins/wporg-gp-profiles/profiles.php (modified) (1 diff)

sites/trunk/wordpress.org/public_html/wp-content/plugins/wporg-gp-profiles/profiles.php

@@ -84 +84 @@
  * This isn't needed for `gp_translation_set_bulk_action_post` callbacks, since that only gets triggered by the
  * normal UI flow.
+ *
+ * @param mixed $user_id Accept mixed so that callers don't have to check the type. `get_userdata()` will do that.
  */
-function should_notify( int $user_id ) : bool {
+function should_notify( $user_id ) : bool {
     $notify = true;