Топики github, когда нет php в выборе

[ivanov77]

Приветствую.
Можете подсказать, может я просто функционалом как то не так пользуюсь.
Возьмем этот топик.
Если мне нужно фильтрануть по языку PHP, то нет его в выборе. Или как то можно на этой странице?
Понятно что языков много, список они тот раздувать не хотят, но есть же репы, помеченные этим тегом на php

 

[ivanov77]

допер что можно через $_GET ручками вбить, но совсем не user friendly это.
И все равно че ж оно в том списке не все показывает, вот это расширение выше не показывает

 

[nefone]

Если мне нужно фильтрануть по языку PHP, то нет его в выборе.

фильтруем топик по языку PHP