mediawiki/pivot
1
0
Fork 0
mirror of https://github.com/Hutchy68/pivot.git synced 2025-04-02 19:23:14 +02:00
Code Issues Releases Wiki Activity

Update Pivot.skin.php

Browse Source
This commit is contained in:
paladox 2019-12-23 00:34:57 +00:00 committed by GitHub
parent 0b6882ad2f
commit 90642d3524
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Pivot.skin.php
View File

@ -60,7 +60,7 @@ class pivotTemplate extends BaseTemplate {
public function execute() { public function execute() {
global $wgUser; global $wgUser;
global $wgPivotFeatures; global $wgPivotFeatures;
Wikimedia\AtEase\AtEase::suppressWarnings(); MediaWiki\suppressWarnings();
$this->html('headelement'); $this->html('headelement');
switch ($wgPivotFeatures['usePivotTabs']) { switch ($wgPivotFeatures['usePivotTabs']) {
case true: case true:
@ -296,7 +296,7 @@ class pivotTemplate extends BaseTemplate {
</html> </html>
<?php <?php
wfRestoreWarnings(); MediaWiki\restoreWarnings();
} }