wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 23:44:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

PHP coding conventions: reorder doxygen tags

Browse source 
See https://www.mediawiki.org/wiki/Manual:Coding_conventions/PHP#Doxygen_tags

Change-Id: I79a38800b70a2f587d7f4553bb14c4c7f702a27b
This commit is contained in:
DannyS712 2020-03-26 15:50:30 +00:00
parent 492d77b648
commit a2bd1abd93
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/CategoryManager.php
View file

@ -140,8 +140,8 @@ class CategoryManager {
/**
* @param int $id
* @throws MissingCategoryException if we can't find the name for the id
* @return string
* @throws MissingCategoryException if we can't find the name for the id
*/
public function getCategoryName( $id ) {
$flip = array_flip( $this->categoryIds );