Index: wp-admin/options.php
===================================================================
--- wp-admin/options.php	(revision 56650)
+++ wp-admin/options.php	(working copy)
@@ -227,6 +227,8 @@
  * Filters the allowed options list.
  *
  * @since 5.5.0
+ * 
+ * @global string $locale The current locale.
  *
  * @param array $allowed_options The allowed options list.
  */