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 01:37:50 +00:00 committed by GitHub
parent 90642d3524
commit 8d652c3d54
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;
MediaWiki\suppressWarnings(); Wikimedia\AtEase\AtEase::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
MediaWiki\restoreWarnings(); Wikimedia\AtEase\AtEase::suppressWarnings( true );
} }