wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 09:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove @codingStandardsIgnoreFile from alias file

Browse source 
Change-Id: I2e1204ca9036a608a523e56ae35e2d53b7c86ba4
This commit is contained in:
Umherirrender 2017-06-17 23:57:24 +02:00
parent 0d565d82bc
commit 3bd2f6a5c8
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CategoryTree.alias.php
View file

@ -8,7 +8,6 @@
* @copyright © 2006-2008 Daniel Kinzler and others * @copyright © 2006-2008 Daniel Kinzler and others
* @license GNU General Public Licence 2.0 or later * @license GNU General Public Licence 2.0 or later
*/ */
// @codingStandardsIgnoreFile
$specialPageAliases = []; $specialPageAliases = [];