This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-ReplaceText
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-ReplaceText
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced
2024-12-18 01:01:03 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
d8f618be5d
mediawiki-extensions-Replac...
/
.phan
History
Umherirrender
203564d43d
Use HookHandlers for AdminLinks hooks
...
Bug: T271025 Change-Id: Ie4fac4a457eecd64bd5f66628f86cbee9ab9c84f
2023-08-15 17:18:02 +02:00
..
stubs
Use HookHandlers for AdminLinks hooks
2023-08-15 17:18:02 +02:00
config.php
Provide phan with stubs for AL* classes
2021-04-07 22:14:44 -04:00