wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-23 21:53:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-AbuseF.../includes/Variables
History
Umherirrender cd7e9d31a7 Use namespaced Title 
Bug: T321681
Change-Id: I66fd9b70a5de06ac3c81bdf6a2a5bca64ed094c2
2023-08-19 19:49:36 +02:00
..
LazyLoadedVariable.php
LazyVariableComputer.php Use namespaced Title 2023-08-19 19:49:36 +02:00
UnsetVariableException.php
VariableHolder.php
VariablesBlobStore.php
VariablesFormatter.php
VariablesManager.php