mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-12 00:16:12 +00:00
2a45dbb577
Also use private instead of public for internal function reportTiming. Change-Id: I52c301d11244436ddc142ec84a7c6740a4ea4d32 |
||
---|---|---|
.. | ||
parser | ||
phpunit |