mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-15 02:03:53 +00:00
bd84a6514c
This requires 1.42 for some new names Changes to the use statements done automatically via script Addition of missing use statements and changes to docs done manually Change-Id: Ic1e2c9a0c891382744e4792bba1effece48e53f3 |
||
---|---|---|
.. | ||
LazyLoadedVariable.php | ||
LazyVariableComputer.php | ||
UnsetVariableException.php | ||
VariableHolder.php | ||
VariablesBlobStore.php | ||
VariablesFormatter.php | ||
VariablesManager.php |