[15:23:41] <bggd>	 Hi ! I'm looking to a way to add as set of user preferences. I'm doing a documentation wiki, and I look to a way to let user define their shortcuts, and have all pages displaying the shortcuts of their user.
[15:24:23] <bggd>	 It seems feasable, I'm reading Hooks/GetPreferences, Hooks/GetPreferences and Manual:Hooks.
[15:25:12] <bggd>	 But before starting to learn PHP and how to make an extension, I ask if there's a simpler way to do this.
[15:32:56] <Lucas_WMDE>	 bggd: I’m not sure which type of shortcuts you’re referring to, but https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization might be useful?
[15:34:01] <bggd>	 Ah no I'm talking of the shortcuts of the documented program.
[15:34:54] <bggd>	 Like define the "duplicate a line" to "C-d"
[15:35:17] <taavi>	 in general, user preferences modifying the rendered page content is a Bad Idea performance-wise
[15:35:50] <bggd>	 Ah. But it'll not be a huge wiki.