Andrew Dolgov
|
7ef72fe0dc
|
move startup checks to Config, set a bunch of @deprecated annotations
|
4 years ago |
Andrew Dolgov
|
e4107ac952
|
wip: initial for config object
|
4 years ago |
Andrew Dolgov
|
545bcc3e4b
|
bookmarklets: cleanup some more markup
|
4 years ago |
Andrew Dolgov
|
fc0ebf0891
|
move bookmarklet-related methods out of public.php into the plugin
|
4 years ago |
Andrew Dolgov
|
a2c75257f1
|
bookmarklets: cleanup
|
4 years ago |
Andrew Dolgov
|
bd3c38de84
|
move bookmarklet-related subscribe_to_feed_url to bookmarklet plugin
|
4 years ago |
Andrew Dolgov
|
c1ad7acfb9
|
bookmarklet: encode URL properly so special characters won't get lost
|
4 years ago |
Andrew Dolgov
|
cee76f4d49
|
bookmarklets: add more info link
|
6 years ago |
Andrew Dolgov
|
4e253add8c
|
UI: add some more info links to relevant wiki pages; minor layout updates
|
6 years ago |
Andrew Dolgov
|
b96beeeda7
|
bookmarklets: show pref link-buttons properly
|
6 years ago |
Andrew Dolgov
|
814e49f8f7
|
add icons to accordion panels in preferences
fix typo in pref-prefs closing panel tag
|
6 years ago |
Andrew Dolgov
|
31e79317b3
|
normalize various font sizes and families between prefs & main UI
change some dialogs layout a bit to maybe become more readable
|
6 years ago |
Andrew Dolgov
|
31f7966567
|
use button-style links for bookmarklets
|
7 years ago |
Andrew Dolgov
|
b2d42e960b
|
replace some usages of SELF_URL_PATH with get_self_url_prefix()
|
7 years ago |
Andrew Dolgov
|
c114a2596f
|
move add_feed_url() to pref_feeds
|
8 years ago |
Andrew Dolgov
|
21ce7d9ec0
|
update phpmd ruleset to use (subset) of cleancode
fix various minor issues reported by static analysis
remove redundant php closing tag from several more files
|
8 years ago |
Andrew Dolgov
|
73dfda1da6
|
various minor style updates, add danger buttons
|
9 years ago |
Andrew Dolgov
|
11334fdf6c
|
make appearance of some preference panes more similar
|
12 years ago |
Andrew Dolgov
|
106a3de91c
|
plugins: bump API version
|
12 years ago |
Andrew Dolgov
|
6322ac79a0
|
remove $link
|
12 years ago |
Andrew Dolgov
|
2ec1e00e2d
|
add bookmarklets plugin
|
12 years ago |