mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-27 16:40:07 +00:00
212477a083
This reverts commit b3fb04b463.
The problem is *not* getContextTitle() - that's the correct
function to call here. The problem is that something is creating
an EditPage instance without calling setContextTitle() - that's
what needs to be fixed.
Change-Id: Ibc8280c7434bee4c4697142bcdbc1194f00c53c1
8 lines
213 B
XML
8 lines
213 B
XML
<?xml version="1.0"?>
|
|
<ruleset>
|
|
<rule ref="./vendor/mediawiki/mediawiki-codesniffer/MediaWiki" />
|
|
<file>.</file>
|
|
<arg name="extensions" value="php,php5,inc" />
|
|
<arg name="encoding" value="UTF-8" />
|
|
</ruleset>
|