mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-27 17:40:06 +00:00
81ce7b08bd
Thanks to T321527, MediaWiki makes it possible for default values of user properties to vary by user. Depends-On: I1549c3137e66801c85e03e46427e27da333d68e2 Bug: T354329 Change-Id: Ib6717be54d4f898b8b0433ee44b57f1e3e960545 |
||
---|---|---|
.. | ||
Hooks.php |