Remove unused globals $wgStylePath, $wgStyleVersion, $wgUser and the no longer used $wgJQueryOnEveryPage. |
||
|---|---|---|
| .. | ||
| Diff.php | ||
| DifferenceEngine.php | ||
| DifferenceInterface.php | ||
Remove unused globals $wgStylePath, $wgStyleVersion, $wgUser and the no longer used $wgJQueryOnEveryPage. |
||
|---|---|---|
| .. | ||
| Diff.php | ||
| DifferenceEngine.php | ||
| DifferenceInterface.php | ||