MediaWiki  1.29.2
updateCSS.php File Reference

Script to update Pygments CSS. More...

Go to the source code of this file.

Classes

class  UpdateCSS
 

Variables

 $IP = getenv( 'MW_INSTALL_PATH' ) ?: __DIR__ . '/../../..'
 
 $maintClass = "UpdateCSS"
 

Detailed Description

Script to update Pygments CSS.

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. http://www.gnu.org/copyleft/gpl.html

Author
Ori Livneh ori@w.nosp@m.ikim.nosp@m.edia..nosp@m.org

Definition in file updateCSS.php.

Variable Documentation

◆ $IP

$IP = getenv( 'MW_INSTALL_PATH' ) ?: __DIR__ . '/../../..'

Definition at line 27 of file updateCSS.php.

◆ $maintClass

$maintClass = "UpdateCSS"

Definition at line 69 of file updateCSS.php.