2 Commits

Author	SHA1	Message	Date
giomba	b036a7ec09	Merge remote-tracking branch 'mediawiki/REL1_34' into feature/golem	2021-12-05 20:15:12 +01:00
Volker E	2b0a28cdcb	Unify on variables and file names on 'navigation' ... Navigation is the appropriate, general term – settling on it and unifying file name and common abbreviation 'nav' for variable names. Change-Id: I237b56320544de15e3b97c4806f6e2387bc54ca0	2019-09-29 13:27:15 -07:00