Merge "rdbms: make getMasterPos() ignore GTIDs outside of gtid_domain_id"

[lhc/web/wiklou.git] / resources / src / oojs-ui-local.css

diff --git a/resources/src/oojs-ui-local.css b/resources/src/oojs-ui-local.css
index 148c4c7..b98ba13 100644 (file)
--- a/resources/src/oojs-ui-local.css
+++ b/resources/src/oojs-ui-local.css
@@ -1,4 +1,4 @@
-/* HACK: Set sane font-size for OOjs UI dialogs (and menus/popups inside the default overlay), in
+/* HACK: Set sane font-size for OOUI dialogs (and menus/popups inside the default overlay), in
    the most common case. This should be skin's responsibility, but alas our skins tend to have the
    weirdest font-sizes on body. This shall be removed when we make the MediaWiki skins bundled with
    tarball sane. (T91152) */