dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d49075) | patch
Rewrite userOptions.php
authorMax Semenik <maxsem.wiki@gmail.com>
Fri, 6 Oct 2017 01:53:57 +0000 (18:53 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 7 Nov 2017 21:32:56 +0000 (21:32 +0000)
commit6df5d031c4504e72b62527105e4945c932357a47
treecd70b5f4143d4378272d6065535c6baebfc67567tree | snapshot
parent9d49075b38a07b90370da8d49d64d2355ef000b6commit | diff
Rewrite userOptions.php

* Convert to use Maintenance
* Clean up
* I want to use the class name UserOptions for something else
  so rename it.

Change-Id: Ic441087702376b1ca0e70554c71cdf7ecad908af
autoload.php diff | blob | history
maintenance/userOptions.inc [deleted file] blob | history
maintenance/userOptions.php diff | blob | history
Wiklou, le Wiki du Wiklou