mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-28 07:50:24 +00:00
89df7dfddb
Rename in 1.37 Change-Id: Ia9a7682f9f9751de3071b0a644d945dbbd3ed824 |
||
---|---|---|
.. | ||
LazyLoadedVariable.php | ||
LazyVariableComputer.php | ||
UnsetVariableException.php | ||
VariableHolder.php | ||
VariablesBlobStore.php | ||
VariablesFormatter.php | ||
VariablesManager.php |