Page MenuHomePhabricator

Linter: Handle category -> numerical id mapping in PHP
Closed, ResolvedPublic


From: T148583#2813012

  • Given that adding a new category would need code changes anyways (for i18n messages at the very least), is there really much benefit to having the separate db table instead of hard-coding the category -> id mapping in php? Seems like having the db table adds a lot of code complexity without much benefit.

My initial idea was that we could add new lint types to Parsoid, have it start populating the database right away, and then add the i18n messages later on. But I think that's a pretty narrow edge case, and definitely isn't worth this code complexity.


Related Gerrit Patches:
mediawiki/extensions/Linter : masterHardcode category ids