mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-18 02:40:41 +00:00
0ba87557d5
Use the methods provided by MediaWikiIntegrationTestCase to more simply create an existing test page. The manual user creation could be replaced by getTestUser, but it turns out these tests don't really need a specific account, so we can let IntegrationTestCase use whatever account it wants to use. Also remove @var annotations that can easily be inferred by the doc comment on the relevant methods. Change-Id: I8bfd0799b79721c7c9de0d2a10a97c498d192a15 |
||
---|---|---|
.. | ||
phpunit |