Confirmed users
1,209
edits
DevmoIdeas: Difference between revisions
m
→Process for making a change to the mediawiki part of the source
(initial plans) |
|||
| (7 intermediate revisions by 2 users not shown) | |||
| Line 12: | Line 12: | ||
==Tentative plan== | ==Tentative plan== | ||
(for the purposes of this plan, "MDC contributor" means people who are developers on the MDC back-end code) | |||
* IT will create a new development server, so that instead of just developer-stage.mozilla.org and developer.m.o, we will have: | * IT will create a new development server, so that instead of just developer-stage.mozilla.org and developer.m.o, we will have: | ||
**developer-test.mozilla.org (development server; whatever name IT thinks makes sense of course) | **developer-test.mozilla.org (development server; whatever name IT thinks makes sense of course) | ||
| Line 25: | Line 26: | ||
* developer will be the deployment server | * developer will be the deployment server | ||
**IT will pull this from developer-stage after appropriate testing has been done | **IT will pull this from developer-stage after appropriate testing has been done | ||
*We need to ensure that MDC contributors also have the ability to edit and check in changes to CSS files affecting our MediaWiki installation. | |||
==Deviations from standard MediaWiki== | |||
A diff between MDC's MediaWiki and the core MediaWiki 1.9.3 code shows that we have the following changes: | |||
*External redirects | |||
**If we can't figure out how to make this work as an extension, we can live without it. | |||
*Single sign-on | |||
**Will this become moot if we manage to switch to a single MediaWiki install for all locales? | |||
*Support for specifying a specific CSS style to apply when creating links | |||
**This is used by the new breadcrumbs code, but we could probably do without it. | |||
*Removal of newuser entries from the RSS feed | |||
**This doesn't actually appear to be working at present anyway, but we need to find a way to make it work. | |||
A complete diff is [[DevmoIdeas/MediaWiki diff|here]]. | |||
==Developer Test== | |||
Machine: sm-devmo01 | |||
===Important Directories=== | |||
* /data/www/developer.mozilla.org - Our devmo source | |||
* /data/www/phase3 - Mediawiki source, coming from their subversion repository, with our patches. | |||
===Important Scripts=== | |||
;/data/www/developer.mozilla.org/bin/update-to-trunk.sh: Updates mediawiki source to trunk and "merges" with devmo source. | |||
;/data/www/developer.mozilla.org/bin/sync-prod-database.sh: Syncs the most recent production database dump with the testing db. | |||
===Process for making a change to the mediawiki part of the source=== | |||
# cd /data/www/phase3 | |||
# svn up | |||
# check for conflicts | |||
# Edit the corresponding file in /data/www/phase3 | |||
# run the update-to-trunk script, which will sync all of your changes to our source. | |||
# cd /data/www/developer.mozilla.org/mediawiki/docs | |||
# svn status and svn diff | |||
# There may be a lot of entries with "!" or "?" you will need to svn add the ones with "?" and delete the ones with "!" if they exist. | |||
# view your changes. There will probably also be changes in there from the mediawiki sync. | |||
# svn commit in that directory if you are happy with the changes. | |||